Skip to content


Subversion checkout URL

You can clone with
Download ZIP


François Bissey edited this page · 6 revisions
Clone this wiki locally

Welcome to the sci wiki!

Configuring your git clone localy

Make sure that your .git/config has the following settings:

[remote "origin"]
    fetch = +refs/heads/*:refs/remotes/origin/*
    url = git+ssh://
    pushurl =
    pushurl = git+ssh://
[remote "github"]
    url =
    fetch = +refs/heads/*:refs/remotes/github/*

You can pull/push to both repos at once using --all switch.

Handling PRs

This assumes that you're using config described above.

  • Get the PR (I'll use PR 3 as an example), please notice that github provides some useful info on the PR itself, like: nbigaouette wants someone to merge 11 commits into gentoo-science:master from nbigaouette:gdebugger

    $ git fetch github
    $ git checkout -b nbigaouette-gdebugger master --no-track
    $ git pull gdebugger
  • Go wild evaluating PR, edit if necessary, add, push

  • Merge PR

    $ git fetch github
    $ git checkout master
    $ git merge nbigaouette-gdebugger
    $ git -D nbigaouette-gdebugger
    $ git push --all

If and github get out of sync

Make sure your .git/config is correct as above. Use merge-dualHEAD located in the script folder of the overlay

    $ ./script/merge-dualHEAD
Something went wrong with that request. Please try again.