If you're using the github lander make sure the user has made it's org membership public.
Rick On Mar 24, 2015 8:49 PM, "Martin Packman" <[email protected]> wrote: > On 24/03/2015, Andrew Wilkins <[email protected]> wrote: > > > > Katherine just tried to $$merge$$ a go-goose branch, and it looks like > the > > script is broken: https://github.com/go-goose/goose/pull/3 > > > > Tests passed, but merge failed. Ian merged manually. > > Hmm, would have been nice to send it through again to see what the > github api was complaining about. > > ERROR: Failed to merge: {u'documentation_url': > u'https://developer.github.com/v3/pulls/#merge-a-pull-request-merge-button > ', > u'message': u'Not Found'} > > Not a super-useful error back from the merge. Maybe the bot just > doesn't have the right perms currently? Landing in the juju namespace > is working. > > Martin > > -- > Juju-dev mailing list > [email protected] > Modify settings or unsubscribe at: > https://lists.ubuntu.com/mailman/listinfo/juju-dev >
-- Juju-dev mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/juju-dev
