Commit Graph

63 Commits

Author SHA1 Message Date
barryhughes a5a712fbd0 Update references to labels in the post merge commit. 2022-02-16 15:39:20 -08:00
Jonathan Sadowski 49915391d0 Update newlines to PHP_EOL in post-request-shared.php 2022-02-11 08:32:29 -06:00
jamelreid 79a3e8f7ba Fixed typo 2022-02-10 15:22:03 -05:00
Jonathan Sadowski 18a5d3a751 Remove confusing trailing dots near version numbers; use PHP_EOL; add newline to EOF 2022-02-10 08:51:26 -06:00
Jonathan Sadowski 757209ba37 Add github workflow to automatically enforce the code freeze. 2022-02-09 13:43:05 -06:00
jamelreid 0164d219b8 Updated asset index 2022-02-04 08:16:41 -05:00
jamelreid 67f4720e0d Script to fetch an asset id for a release 2022-02-04 07:30:57 -05:00
Nestor Soriano 6fb769bc9d
Refactor the PR post-merge processing GitHub action
Common code has been extracted to a "post-request-shared.php" script.
2021-08-03 11:33:33 +02:00
Nestor Soriano b3617a3115
Extend post-merge GH action to add a comment suggestion next steps. 2021-08-03 10:07:24 +02:00
Nestor Soriano 9ffddbac1f
Use 'pull_request_target' in the automatic milestoning action
The original event used, 'pull_request', runs in the context of the
pull request. In the case of pull requests created from forks this means
that a read-only GitHub token is used for API calls, and thus the
call used to assign the milestone fails.

The fix is using the 'pull_request_target' event, which runs in the
context of the base branch, and thus with a read-write token. See:
https://docs.github.com/en/actions/reference/events-that-trigger-workflows#pull_request_target

Also, added a warning message when no milestone without a release
branch is found and thus the newest existing milestone is assigned
(this is a fallback that should normally not happen).
2021-07-29 16:47:27 +02:00
Nestor Soriano 68fcfa9cf6
Add logging to the GH action for assigning a milestone to merged PRs
If the GH API call to assign the milestone to a merged PR returns an
error, the data returned from the call will be dumped to the console,
and thus will be readable by looking at the action execution log.
2021-07-28 15:20:16 +02:00
Néstor Soriano 3ada9fc562
Change GH API query for milestones to get only the open ones.
Co-authored-by: Vedanshu Jain <vedanshu.jain.2012@gmail.com>
2021-04-19 14:46:45 +02:00
Nestor Soriano a0c965964b
Add a GitHub action for automatic assignment of milestone to merged PRs
The milestone is chosen as follows:
1. List all the open milestones with a title of "X.Y.Z"
2. Sort them desc using verson_compare
3. foreach them in order, and take the last one not having a
   corresponding release branch ("release/X.Y")
2021-04-15 17:16:00 +02:00