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? _______________________________________________ Scons-dev mailing list [email protected] https://pairlist2.pair.net/mailman/listinfo/scons-dev
