il linter vede troppe modifiche #236

Open
opened 2024-09-16 08:43:33 +00:00 by paspo · 0 comments
Owner

Nel linting di una PR viene preso in considerazione come "punto di partenza" l'ultimo commit di main al posto del commit in cui è partito il branch della PR.

In teoria,la documentazione dice questo riguardo agithub.event.pull_request.base.sha:

The SHA that represents the HEAD for the Base branch at the time the pull request was created.

Questo pare essere poco veritiero per github (https://github.com/orgs/community/discussions/39880) e anche per gitea.

Sarebbe il caso di risolvere in qualche modo...

Nel linting di una PR viene preso in considerazione come "punto di partenza" l'ultimo commit di `main` al posto del commit in cui è partito il branch della PR. In teoria,la documentazione dice questo riguardo a`github.event.pull_request.base.sha`: > The SHA that represents the HEAD for the Base branch at the time the pull request was created. Questo pare essere poco veritiero per github (https://github.com/orgs/community/discussions/39880) e anche per gitea. Sarebbe il caso di risolvere in qualche modo...
paspo added this to the eventually milestone 2024-09-16 08:43:33 +00:00
paspo added the
bug
label 2024-09-16 08:43:33 +00:00
paspo self-assigned this 2024-09-16 08:43:33 +00:00
paspo added this to the Nuovo sito: CODICE HUGO project 2024-09-16 08:43:33 +00:00
paspo added the
upstream
label 2024-09-25 09:01:52 +00:00
Sign in to join this conversation.
No Milestone
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: BgLUG/bglug.it#236
No description provided.