On Sun, Jan 11, 2015 at 9:12 AM, anatoly techtonik <techto...@gmail.com> wrote:
> On Sun, Jan 11, 2015 at 4:25 PM, Gary Oberbrunner <ga...@oberbrunner.com> > 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 Scons-dev@scons.org https://pairlist2.pair.net/mailman/listinfo/scons-dev