Changes between Version 1 and Version 2 of Ticket #823
- Timestamp:
- Apr 7, 2017, 3:42:57 AM (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #823 – Description
v1 v2 9 9 Possibly, the mirror repo settings needs to be tweaked to support this workflow. 10 10 11 == Work with Mirror on GitHub == 12 11 13 GitHub mirror is updated with `git push --mirror` destroying any branch which is not in the upstream (gogs). So, PRs must be submitted from contributor's own fork to avoid feature branches destruction. 14 15 == Settings for Mirror on GitHub == 16 17 18 # Configure [https://help.github.com/articles/configuring-protected-branches/ Protected Branches] 19 # [https://help.github.com/articles/about-pull-request-reviews/#required-reviews Disable Merge Button] until commit changes are approved by a peer