Tengo un problema extraño que parece que no puedo resolver. Esto es lo que sucedió:
Tenía algunos archivos de registro en un repositorio de github que no quería allí. Encontré este script que elimina archivos completamente del historial de git así:
#!/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
Yo, por supuesto, primero hice una copia de seguridad y luego la probé. Parecía funcionar bien. Luego hice un git push -f y fui recibido con los siguientes mensajes:
error: Unable to append to .git/logs/refs/remotes/origin/master: Permission denied
error: Cannot update the ref 'refs/remotes/origin/master'.
Sin embargo, todo parece haber funcionado bien, porque los archivos parecen haber desaparecido del repositorio de GitHub, si intento presionar nuevamente, obtengo lo mismo:
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
EDITAR
$ sudo chgrp {user} .git/logs/refs/remotes/origin/master
$ sudo chown {user} .git/logs/refs/remotes/origin/master
$ git push
Everything up-to-date
¡Gracias!
EDITAR
UH oh. Problema. He estado trabajando en este proyecto toda la noche y solo fui a confirmar mis cambios:
error: Unable to append to .git/logs/refs/heads/master: Permission denied
fatal: cannot update HEAD ref
Asique:
sudo chown {user} .git/logs/refs/heads/master
sudo chgrp {user} .git/logs/refs/heads/master
Intento el compromiso de nuevo y obtengo:
error: Unable to append to .git/logs/HEAD: Permission denied
fatal: cannot update HEAD ref
Asique:
sudo chown {user} .git/logs/HEAD
sudo chgrp {user} .git/logs/HEAD
Y luego intento el compromiso de nuevo:
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
¡Hurra! Salto a http://GitHub.com y reviso el repositorio, y mi última confirmación no está en ningún lugar. :: scratch head :: Así que presiono de nuevo:
Everything up-to-date
Umm ... no lo parece. Nunca antes había tenido este problema, ¿podría ser un problema con github? ¿O arruiné algo con mi proyecto git?
EDITAR
No importa, hice un simple:
git push origin master
y empujó bien.