On Sun, Jan 11, 2015 at 9:12 AM, anatoly techtonik <[email protected]> wrote:
> 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. -- Gary
_______________________________________________ Scons-dev mailing list [email protected] https://pairlist2.pair.net/mailman/listinfo/scons-dev
