Re: Pull request template for github mirror
- From: Lasse Schuirmann <lasse schuirmann gmail com>
- To: Milan Crha <mcrha redhat com>
- Cc: desktop-devel-list <desktop-devel-list gnome org>
- Subject: Re: Pull request template for github mirror
- Date: Tue, 8 Mar 2016 17:56:25 +0100
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 <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.
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
desktop-devel-list gnome org
https://mail.gnome.org/mailman/listinfo/desktop-devel-list
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]