News for hackers. Stuff that matters.
Re:GitHub is down by pmontra on Monday July 22, 2019 @01:55PM (#20500470)
You could merge the feature branch into master (or whatever), resolve conflicts, commit, push and deploy.

There are no comments on this comment yet.