Come configurare git per evitare accidentali git push

Question

Dopo git clone, la configurazione nel nuovo pronti contro termine si presenta come:

remote.origin.url=<some url> 
remote.origin.fetch=+refs/heads/*:refs/remotes/origin/* 
branch.master.remote=origin 
branch.master.merge=refs/heads/master 

Poi, posso eseguire "git pull" e "git push". Ma mi interessa solo fare "git pull", perché voglio spingere in un altro repo.

Una cosa che posso fare è:

git add remote repo-for-push <some other url> 
git push repo-for-push master 

Ma vorrei configurare git per utilizzare di default e distinti depositi per tirare e spingere, vale a dire:

git pull # pulls from origin 
git push # pushes into repo-for-push, avoiding accidental push into the origin 

Come può essere configurato ? Grazie in anticipo.

MODIFICA:
Fondamentalmente, voglio impostare il repository push di default in modo che sia diverso dal default repo/pull repo.

Answer 1

Sembra

git config remote.origin.receivepack /bin/false 

Rende spinta di origine remoto sicuro.

Answer 2

Non sono sicuro di poterlo fare in git oggi. L'implementazione di git-fetch (in builtin-fetch.c) e git-push (in builtin-push.c) entrambi richiamano la funzione interna remote_get (NULL) per identificare il repository predefinito da pull-from/push-to.

Un'opzione sarebbe quella di creare un alias che specifica il repository desiderato. Per esempio:

git config --add alias.mypush "push repo-for-push" 

Poi si potrebbe:

git mypush 

a spingere al vostro repo desiderato. Non esattamente quello che vuoi, ovviamente. (Puoi anche considerare l'argomento --repo da spingere, vedi http://kerneltrap.org/mailarchive/git/2008/10/7/3537694 per un recente aggiornamento del documento che chiarisce l'argomento --repo.)

Answer 3

Se potessi fare tutto il tuo push da un altro ramo, penso che potresti configurare quel ramo di avere un proprio repository separati per spingere a:

git checkout master 
git branch outbound 
git remote add destination <some url> 
git config branch.outbound.remote destination 

non ho provato questo, e potrebbe essere necessario fare un po 'più di lavoro per creare una soluzione completa. Potrebbe anche non funzionare per te, se devi spingere dal master.

Answer 4

Completa il comando "git" in qualcosa che mangia l'argomento push. Fuori della parte superiore della mia testa ho scritto questo:

 
~$ cat /usr/local/bin/git 
#!/bin/bash 

# git wrapper 
# prevents pushing to repository 

declare -a args 
declare msg='' 
while [ $# -gt 0 ] 
do 
    if [ "$1" != 'push' ]; then 
     args=("${args[@]}" "$1") 
    else 
     msg="No pushing" 
    fi 
    shift 
done 

if [ ${#msg} -gt 0 ]; then 
    echo "$msg" 
fi 
/usr/bin/git "${args[@]}" 

Basta essere sicuri di avere il comando avvolto nel tuo percorso prima del comando git "reale".

Answer 5

Nella versione 1.6.4, Git ha ottenuto la possibilità di ottenere un pull remoto da un URL e passare a un altro utilizzando l'impostazione di configurazione remote.name.pushurl. Posso immaginare un comportamento strano se il repository push non tiene traccia del pull-repository, ma ho il sospetto che Git proverà a far avanzare rapidamente il repository-push dal/dai branch corrente/tracking/matching senza riguardo per quello che tirerà quando chiede al telecomando lo stesso nome.

Per esempio, se si voleva tirare via il protocollo git anonima, ma spingere via SSH (forse avete bisogno di un valore di fuori di un token SecurID o qualcosa per l'autenticazione):

[remote "myremote"] 
    url = git://server/path 
    pushurl = user@server:/path