On Sun, Jan 11, 2015 at 6:30 PM, Gary Oberbrunner <[email protected]> wrote: > On Sun, Jan 11, 2015 at 9:12 AM, anatoly techtonik <[email protected]> >> On Sun, Jan 11, 2015 at 4:25 PM, Gary Oberbrunner <[email protected]> >> wrote: >> > Our usual problem is we merge a PR manually, but then bitbucket doesn't >> > recognize the change for whatever reason, and there's no way to >> > "manually >> > accept" a PR (there's a bitbucket issue for this) so we have to decline >> > it >> > and say it was really accepted. I don't think we've seen truly >> > spontaneous >> > declines. >> >> Do you mean that Merge button doesn't work after the manual merge? >> > Correct -- when I tried it a long time ago it created an extra merge commit > and messed things up.
I suspect there a problem on Bitbucket side to detect merges from heads on the same branch. I don't know how such heads can be closed. Asked here - https://bitbucket.org/site/master/issue/10862/hg-doesnt-detect-merged-pull-requests -- anatoly t. _______________________________________________ Scons-dev mailing list [email protected] https://pairlist2.pair.net/mailman/listinfo/scons-dev
