Re:GitHub was down again
by may4m on Wednesday July 15, 2020 @04:36PM
(#23851348)
I had a problem with github a while ago when I tried merging a PR to the master branch, the merge commits reflected on master but the PR was still open.I would repeatedly click the merge button but the PR wouldn't show as merged
[ Parent
| on HN ]
There are no comments on this comment yet.