samoa-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Gianmarco De Francisci Morales <>
Subject Re: [DISCUSS] Dev git setup
Date Mon, 02 Feb 2015 11:42:27 GMT

I was trying to check out a pull request today and I realized there is
something missing from this setup.
Namely, we need a remote for the Apache GitHub mirror because pull requests
are submitted there.
So my revised setup is now:

→ git remote -v
apache (fetch)
apache (push)
origin (fetch)
origin (push)
upstream (fetch)
upstream (push)

And if I want to checkout a pull request I can simply do:
git fetch upstream pull/<pr_id>/head:<branch_name>

E.g., git fetch upstream pull/2/head:SAMOA-6 creates a branch SAMOA-6 with
the pull request checked out.



On 28 January 2015 at 10:22, Gianmarco De Francisci Morales <
> wrote:

> Hi,
> Just for me to be clear: GM, we’re talking rebasing locally but merge
>> committing in the repo right? Like we have been doing before? At least,
>> that’s how I read this right now. correct me if I’m wrong?
> Yes, that's what I meant.
> Rebase the master locally (never commit to the local master), fork, merge
> commit back in the repo (possibly squashing all the commits on the branch
> in a single one that represents the patch).
> Cheers,
> --
> Gianmarco

  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message