News for hackers. Stuff that matters.
Re:A note of reflection after 10 years of “A successful Git ... by qznc on Thursday March 05, 2020 @05:01PM (#22498821)
The only way to be sure: CI checks out master, merges the feature branch, and tests that version. If successful, push to origin. If the push fails (because a parallel pushed happened in between) start from the beginning.

The challenge here is that pull request might be tested again and again. It increases the CI load by some factor for large projects.

There are no comments on this comment yet.