Hi all.

I continuously see things like

 $ git ph
Pushing to git@github.com:gentoo-science/sci.git
To git@github.com:gentoo-science/sci.git
 ! [rejected]        master -> master (non-fast-forward)
error: failed to push some refs to 'git@github.com:gentoo-science/sci.git'
hint: Updates were rejected because the tip of your current branch is behind
hint: its remote counterpart. Integrate the remote changes (e.g.
hint: 'git pull ...') before pushing again.
hint: See the 'Note about fast-forwards' in 'git push --help' for details.
Pushing to git+ssh://git@git.overlays.gentoo.org/proj/sci.git
To git+ssh://git@git.overlays.gentoo.org/proj/sci.git
 = [up to date]      master -> master
updating local tracking ref 'refs/remotes/origin/master'
Everything up-to-date

but a git pull doesn't bring anything new. This comes from problems with
fast-forwarding.

This is my suggestion here,

We will restrict the push access in gitweb.overlays.gentoo.org to a
small group of people (one, two, three official sci team devs) and move
all other contributions over to github. This small team is then
responsible for the merge and shouldn't screw it up.

What do you think?

Justin