Very often we manually merge/rebase pull requests, which gives the commits different hashes. In those cases, GitHub did not recognize pull requests as merged.
Does that mean that all those Pull requests will remain open?
Very often we manually merge/rebase pull requests, which gives the commits different hashes. In those cases, GitHub did not recognize pull requests as merged.
Does that mean that all those Pull requests will remain open?