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.
[ Parent
| on HN ]
There are no comments on this comment yet.