Hi, I just spoke with aruiz and ebassi on IRC and quickly cooked up a small autoresponse for you. Is there any volunteer repository for testing?
I've already tested it on one of my repositories and it works. Guide to activation: 1. Go to app.gitmate.io 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 me.) 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. Lasse 2016-02-29 17:12 GMT+01:00 Milan Crha <[email protected]>: > 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. > > Hi, > 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. > Bye, > Milan > > 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 > [email protected] > https://mail.gnome.org/mailman/listinfo/desktop-devel-list _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
