7 Commits

Author	SHA1	Message	Date
Chris Gavin	8fef3928ba	Use an asymmetric Git log when updating the release branch.	2021-02-01 18:03:39 +00:00
Eric Cornelissen	cf8c79ca35	Fix unused sorted value in update-release-branch ... Fix a minor issue in the update-release-branch.py script that performs a call to `sorted` but doesn't use the output. Since `sorted` does not operate in place, the call is currently useless. As a result, the function `get_pr_for_commit` does not currently work as exected. I.e. it is expected to return the "first" (i.e. lowest PR number), but actually it returns the first in the list provided by GitHub.	2020-11-20 11:20:45 +01:00
Robert	beedd317d2	Merge branch 'main' into release-sorting	2020-06-23 12:13:58 +01:00
Sam Partington	1ce7f98898	Update other references to master in release script	2020-06-23 10:10:23 +01:00
Sam Partington	6d413dd723	Update release branch script as main branch is now "main". ... See https://github.com/github/dsp-code-scanning/issues/1457	2020-06-23 10:08:23 +01:00
Robert	2845a93f4c	Fixing sorting of PRs	2020-06-22 11:27:50 +01:00
Robert Brignull	582fd14a81	Add script to open PR for updating release branch	2020-06-12 11:15:14 +01:00