Changes between Initial Version and Version 1 of Ticket #823


Ignore:
Timestamp:
Apr 7, 2017, 2:46:02 AM (7 years ago)
Author:
mloskot
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #823 – Description

    initial v1  
    66* Disallow merging with the green button on GitHub
    77
     8
    89Possibly, the mirror repo settings needs to be tweaked to support this workflow.
     10
     11GitHub 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.