|
|
|
|
|
|
by may4m
2169 days ago
|
|
|
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 |
|
|