Sto riscontrando uno strano problema che non riesco a risolvere. Ecco cosa è successo:
Avevo alcuni file di registro in un repository GitHub che non volevo lì. Ho trovato questo script che rimuove completamente i file dalla cronologia di git in questo modo:
#!/bin/bash
set -o errexit
# Author: David Underhill
# Script to permanently delete files/folders from your git repository. To use
# it, cd to your repository's root and then run the script with a list of paths
# you want to delete, e.g., git-delete-history path1 path2
if [ $# -eq 0 ]; then
exit 0are still
fi
# make sure we're at the root of git repo
if [ ! -d .git ]; then
echo "Error: must run this script from the root of a git repository"
exit 1
fi
# remove all paths passed as arguments from the history of the repo
files=$@
git filter-branch --index-filter "git rm -rf --cached --ignore-unmatch $files" HEAD
# remove the temporary history git-filter-branch otherwise leaves behind for a long time
rm -rf .git/refs/original/ && git reflog expire --all && git gc --aggressive --prune
Ovviamente prima ho fatto un backup e poi l'ho provato. Sembrava funzionare bene. Ho quindi eseguito un git push -f e sono stato accolto con i seguenti messaggi:
error: Unable to append to .git/logs/refs/remotes/origin/master: Permission denied
error: Cannot update the ref 'refs/remotes/origin/master'.
Tutto sembra essere andato bene, però, perché i file sembrano essere spariti dal repository GitHub, se provo a premere di nuovo ottengo la stessa cosa:
error: Unable to append to .git/logs/refs/remotes/origin/master: Permission denied
error: Cannot update the ref 'refs/remotes/origin/master'.
Everything up-to-date
MODIFICARE
$ sudo chgrp {user} .git/logs/refs/remotes/origin/master
$ sudo chown {user} .git/logs/refs/remotes/origin/master
$ git push
Everything up-to-date
Grazie!
MODIFICARE
Uh Oh. Problema. Ho lavorato a questo progetto tutta la notte e sono andato a mettere le mie modifiche:
error: Unable to append to .git/logs/refs/heads/master: Permission denied
fatal: cannot update HEAD ref
Così io:
sudo chown {user} .git/logs/refs/heads/master
sudo chgrp {user} .git/logs/refs/heads/master
Provo di nuovo il commit e ottengo:
error: Unable to append to .git/logs/HEAD: Permission denied
fatal: cannot update HEAD ref
Così io:
sudo chown {user} .git/logs/HEAD
sudo chgrp {user} .git/logs/HEAD
E poi provo di nuovo il commit:
16 files changed, 499 insertions(+), 284 deletions(-)
create mode 100644 logs/DBerrors.xsl
delete mode 100644 logs/emptyPHPerrors.php
create mode 100644 logs/trimXMLerrors.php
rewrite public/codeCore/Classes/php/DatabaseConnection.php (77%)
create mode 100644 public/codeSite/php/init.php
$ git push
Counting objects: 49, done.
Delta compression using up to 2 threads.
Compressing objects: 100% (27/27), done.
Writing objects: 100% (27/27), 7.72 KiB, done.
Total 27 (delta 15), reused 0 (delta 0)
To git@github.com:IAmCorbin/MooKit.git
59da24e..68b6397 master -> master
Evviva. Salto su http://GitHub.com e controllo il repository, e il mio ultimo commit non è da nessuna parte. :: scratch head :: Quindi spingo di nuovo:
Everything up-to-date
Umm ... non sembra. Non ho mai avuto questo problema prima, potrebbe essere un problema con GitHub? o ho sbagliato qualcosa con il mio progetto git?
MODIFICARE
Non importa, ho fatto un semplice:
git push origin master
e ha spinto bene.