Estou tendo um problema estranho que não consigo resolver. Aqui está o que aconteceu:
Eu tinha alguns arquivos de log em um repositório github que não queria lá. Encontrei este script que remove arquivos completamente do histórico do git assim:
#!/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
É claro que primeiro fiz um backup e depois tentei. parecia funcionar bem. Em seguida, executei um git push -f e fui recebido com as seguintes mensagens:
error: Unable to append to .git/logs/refs/remotes/origin/master: Permission denied
error: Cannot update the ref 'refs/remotes/origin/master'.
Tudo parece ter funcionado bem, porque os arquivos parecem ter sumido do repositório do GitHub, se eu tentar empurrar novamente, obtenho a mesma coisa:
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
Obrigado!
EDITAR
Uh Oh. Problema. Estive trabalhando neste projeto a noite toda e só fui confirmar minhas alterações:
error: Unable to append to .git/logs/refs/heads/master: Permission denied
fatal: cannot update HEAD ref
Então eu:
sudo chown {user} .git/logs/refs/heads/master
sudo chgrp {user} .git/logs/refs/heads/master
Eu tento o commit novamente e obtenho:
error: Unable to append to .git/logs/HEAD: Permission denied
fatal: cannot update HEAD ref
Então eu:
sudo chown {user} .git/logs/HEAD
sudo chgrp {user} .git/logs/HEAD
E então eu tento o commit novamente:
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
Hooray. Eu pulo em http://GitHub.com e verifico o repositório, e meu último commit não está onde posso ser encontrado. :: coçar a cabeça :: Então eu empurro novamente:
Everything up-to-date
Umm ... não parece. Nunca tive esse problema antes, pode ser um problema com o github? ou eu baguncei alguma coisa com meu projeto git?
EDITAR
Esqueça, eu fiz um simples:
git push origin master
e funcionou bem.