[OT] git

2010/2/25 Andrea C. [email protected]:

scusa ma il clone con quale url lo fai?

guarda in .git/config, quando fai il clone ti salva l’url dentro quel
file.

Il clone lo avevo fatto usando git+ssh://…proprio perche’
usando [email protected] riuscivo ad accedere.
Sono dietro un firewall, usando git+ssh e specificando la porta 443
riesco a lavorare con git, altrimenti se uso l’url classico non riesco
perche’ cerca la connessione alla porta 22 che probabilmente il
firewall mi chiude.
Devo usare la porta 443.

Msan M. wrote:

Il clone lo avevo fatto usando git+ssh://…proprio perche’
usando [email protected] riuscivo ad accedere.
Sono dietro un firewall, usando git+ssh e specificando la porta 443
riesco a lavorare con git, altrimenti se uso l’url classico non riesco
perche’ cerca la connessione alla porta 22 che probabilmente il
firewall mi chiude.
Devo usare la porta 443.

Ciao Msan,
alcune domande:

  1. ssh.github.com:443 lo stai usando tu o chi non riesce a fare il push?

  2. tu riesci a fare push?

  3. il tuo collaboratore riesce a fare push su un suo progetto?
    (se non ne ha, chiedigli di provare a creare un progetto nuovo e di
    fare qualche prova)

  4. Il collaboratore sta dietro un firewall come te?

  5. Quale errore da di preciso? (beh questa doveva andare all’inizio)

  6. farebbero comodo un po più di info (Sistema operativo, versione di
    git, etc)

Se il tuo collaboratore non riesce a lavorare su un suo progetto allora

  1. potrebbe essere la chiave ssh pubblica copiata male
  2. potrebbe essere il firewall (ma se riesci ad ottenere i file da
    ssh.github.com:443 dovresti riuscire anche a fare il push)

Puoi chiedere aiuto anche direttamente a quelli di github (vedi su
http://help.github.com/ nella sezione “Getting help”)

Duilio R.

2010/2/25 Duilio R. [email protected]:

Puoi chiedere aiuto anche direttamente a quelli di github (vedi su
http://help.github.com/ nella sezione “Getting help”)

Ok, grazie mille…prima provo a fargli ricreare e riinserire la
chiave pubblica.