On 4/9/2018 2:15 PM, Carl Sorensen wrote:
Right now, our current process ensures that every commit on master builds 
properly -- master never gets broken.  The only branch that can get broken is 

Another thing: Repository mirroring


"There are two kinds of repository mirroring features supported by GitLab: push and pull. The push method mirrors the repository in GitLab to another location, whereas the pull method mirrors an external repository in one in GitLab."

Looks to me like the master branch could be somewhere else like GNU Savannah if desired. GitLab could be the staging branch.

However, the documentation says that GitLab does push-or-pull to update the mirror every 5 minutes. I expect that instead it would need to be "whenever someone like James Lowe says so."

And I'm not sure that having 2 separate repository servers would really make life better for anyone.
Karlin High
Missouri, USA

lilypond-devel mailing list

Reply via email to