News for hackers. Stuff that matters.
Re:GitHub is down by viraptor on Monday July 22, 2019 @06:40PM (#20502953)
Branches: Let each branch owner deal with that. They likely have the most information about it. Create a new temporary branch, merge both sides into it and see what happens.

Tags: Don't have a process which can result in tags pushed into different places. It's a path to madness. Same applies to master/release branches.

Re:GitHub is down by heinrichhartman on Friday July 26, 2019 @06:49AM (#20533816)
> Same applies to master/release branches.

Yes. This was the case I had in mind. Path to madness.