Is anyone using the pull-request-builder in push mode (not polling), and if
so, how did you configure it? I haven't yet gotten it to work in push mode,
and I* think* I've done everything according to the documentation. Thanks.
John C>
--
You received this message because you are subscribed to
I've installed the github pull-request-builder package, on an EC2 Ubuntu
server, and gotten it *mostly* working. The one problem I have is with the
branch-specifier. The docs say set it to ${sha1}. That didn't work, and
when I wrote a Python script to dump the os.environ() variables, it doesn't
I've installed the github pull-request-builder package, on an EC2 Ubuntu
server, and gotten it *mostly* working. The one problem I have is with the
branch-specifier. The docs say set it to ${sha1}. That didn't work, and
when I wrote a Python script to dump the os.environ() variables, it doesn't
I've set up a simple Jenkins server on an Ubuntu EC2 server, and configured
it to point to a Github repo (using a token for authentication). I've
installed the github-pull-request-builder and required dependencies, and
configured it as per the docs. It *almost* works - when I set the
branch-s
