Re: Pull request template for github mirror

[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 :)