Tentativo di commit a fine lezione,
il push fallisce come segue, forse lockato come di solito:
git -c diff.mnemonicprefix=false -c core.quotepath=false --no-optional-locks -c credential.helper= -c credential.helper="C:/Users/studente/AppData/Local/ATLASS~1/SOURCE~1/GIT_EX~1/GIT-CR~1.EXE" push -v --tags origin master:master
POST git-receive-pack (1367 bytes)
remote: error: cannot lock ref 'refs/heads/master': Unable to create '/git/p/jopustema/code.git/./refs/heads/master.lock': File exists.
remote:
remote: Another git process seems to be running in this repository, e.g.
remote: an editor opened by 'git commit'. Please make sure all processes
remote: are terminated then try again. If it still fails, a git process
remote: may have crashed in this repository earlier:
remote: remove the file manually to continue.
Pushing to https://goati@git.code.sf.net/p/jopustema/code
To https://git.code.sf.net/p/jopustema/code
! [remote rejected] master -> master (failed to update ref)
error: failed to push some refs to 'https://goati@git.code.sf.net/p/jopustema/code'
Completed with errors, see above.
Confermo, tentato push da casa e medesimo esito con tristissimo log:
"unable to create blablabla.../master.lock" file exists.
Purtroppo a fine lezione non avevo tempo di sbloccarlo. Sono arrivato ora a casa e procedo con lo sblocco (o dovrei dire "lo sbrocco"?). Incrociamo le dita ...
File .lock rimosso. Potete provare ad usare il repository. Se è a posto, per cortesia, chiudete il ticket, sennò commentate.
No luck, still lock.
Come non detto, adesso sembra rifunzionare tutto.