search

pburgio / IndInf20

This is official repository of the course Industrial Informatics LT, Year 2019/20, at University of Modena and Reggio Emilia, held at Fondazione Universitaria di Mantova
https://hipert.unimore.it/people/paolob/pub/Industrial_Informatics/index.html
GNU General Public License v3.0
0 stars 0 forks source link

gihub #2

Closed Valby98 closed 4 years ago

Valby98 commented 4 years ago

Ragas sto avendo dei problemi con github del tipo che quando cerco di clonare https:// github.com/... oltre ad avvertirmi che clonando una directory vuota, non mi fa neanche aggiungere niente mi segnala accesso negato. Qualcuno saprebbe darmi una mano a risolvere il problema?

Giada-Pezzali commented 4 years ago

Sei loggato su GitHub mentre provi a clonarla? ( a me ha preso in automatico le credenziali, se no dovrebbe chiedertele in teoria ) Del resto dovrebbe bastare scrivere "git clone https://....." con il link che trovi nel pulsante verde con scritto "code"

Valby98 commented 4 years ago

allora per quanto riguarda le credenziali me le ha chieste e ok... però quando implmento il comando git push origin master mi dà errore del tipo: error: failed to push some refs to 'https://github.com/..........' 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.

Giada-Pezzali commented 4 years ago

Credo ti dia errore perchè non siamo abilitati a utilizzare il comando push se stai lavorando con il master, quello possiamo solo aggiornarlo facendo pull. Se invece stai usando il branch "students" non so se abbiamo l'abilitazione.

Valby98 commented 4 years ago

infatti ho provato anche il comando pull restando master ma dà lo stesso errore

tobiapoppi commented 4 years ago

Ciao @Valby98 Prova ad andare nella cartella del repository che hai clonato localmente. Tasto destro dentro alla cartella e seleziona -> "Git Bash Here". Dopodichè gli dai un "git pull". Se ti da errore, fai copia e incolla qui che vediamo

Valby98 commented 4 years ago

@TobiaPoppi credo di aver risolto il problema, alla fine quello che dovevo fare era fare un'operazione di merge per fare sì di unire le history. Grazie comunque e grazie anche a @Giada-Pezzali .

pburgio commented 4 years ago

Ciao a tutti, mi intrometto per dirvi che per pushare su "students", devo aggiungervi al gruppo "IndInf20", per darvi i diritti

(Se riuscite a pushare anche senza, allora c'è un problema di diritti d'accesso, e vi pregherei di segnalarmelo)