Re: Pull request template for github mirror


I just spoke with aruiz and ebassi on IRC and quickly cooked up a
small autoresponse for you. Is there any volunteer repository for

I've already tested it on one of my repositories and it works. Guide
to activation:

1. Go to
2. Login with an account that has admin access to the GNOME mirror repository
3. Click on add repositories and click on each repository, wait for
the green acknowledgement to pop up.
4. Go to the configuration page, deactivate all the GitMate features
and activate the PR autoresponse feature, fill in the text you want in
the autoresponse.

GitMate will then perform the autoresponse on every opened or
resynchronized (pushed) PR using the user you authenticated at
GitMate. (I usually log into GitHub with my gitmate-bot account to
make sure it's clear to everyone that it's a bot at work here and not

On long term we can for sure plan cool things like keeping PRs and BZ
issues in sync, if you want I can add a feature to auto close PRs.


2016-02-29 17:12 GMT+01:00 Milan Crha <mcrha redhat com>:
On Mon, 2016-02-29 at 14:52 +0000, Emmanuele Bassi wrote:
  $ git pull github-mirror pull/${PR_ID}/head:pr-${PR_ID}
  $ git checkout pr-${PR_ID}

From then on, you can push/merge/pull/rebase as usual.

well, it's too much overhead for:
a) someone whom does not have a github account
b) wants to get to a patch which consist of 20 lines total.

Imagine the wasted bandwidth...

Anyway, this diverged from the subject of this thread a bit.

P.S.: If people could help to newcomers from github with the workflow
on the GNOME side the same, then there probably wouldn't be needed any
read-only, pull-request-disabled mirror of GNOME projects
on the github at all :)

desktop-devel-list mailing list
desktop-devel-list gnome org

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]