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
