-
-
Notifications
You must be signed in to change notification settings - Fork 3k
Closed
Labels
Description
- We update
masterin a GitHub actions "cron job". - The
masterof forks is also updated - The updates of the forks do NOT happen at the same time
- That leads to different commit ids at each
masterbranch - That leads to strange pull requests, when conributors merge
masterinstead ofupstream/master(strange behavior e.g. at mEDRA DOI fetcher implementation. #6641 (comment) and Add testing interface, including a set of capabilities to tests for #6687 (review))
Solution possibilities:
- Guard the GitHub action by checking whether we are on JabRef/jabref
- Have the CSL update happening at another branch and merge the branch using a pull request to our GitHub repository
- Ensure that all documantation says
upstream/master- also in our manual pull request comments.
Think, we should go for option 1, since we cannot ensure that all references to master are prefixed by upstream/master.