Ich habe ein seltsames Problem, das ich anscheinend nicht lösen kann. Folgendes ist passiert:

Ich hatte einige Protokolldateien in einem Github-Repository, die ich dort nicht haben wollte. Ich habe dieses Skript gefunden, das Dateien vollständig aus dem Git-Verlauf entfernt:

    #!/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

Ich habe natürlich zuerst ein Backup erstellt und es dann ausprobiert. Es schien gut zu funktionieren. Ich habe dann einen git push -f ausgeführt und wurde mit den folgenden Meldungen begrüßt:

error: Unable to append to .git/logs/refs/remotes/origin/master: Permission denied
error: Cannot update the ref 'refs/remotes/origin/master'.

Alles scheint jedoch in Ordnung zu sein, da die Dateien scheinbar nicht mehr aus dem GitHub-Repository stammen. Wenn ich es erneut versuche, erhalte ich dasselbe:

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

BEARBEITE

$ sudo chgrp {user} .git/logs/refs/remotes/origin/master
$ sudo chown {user} .git/logs/refs/remotes/origin/master
$ git push
Everything up-to-date

Vielen Dank

BEARBEITE

Uh Oh. Problem. Ich habe die ganze Nacht an diesem Projekt gearbeitet und wollte nur meine Änderungen vornehmen:

error: Unable to append to .git/logs/refs/heads/master: Permission denied
fatal: cannot update HEAD ref

So ich:

sudo chown {user} .git/logs/refs/heads/master
sudo chgrp {user} .git/logs/refs/heads/master

Ich versuche das Commit erneut und erhalte:

error: Unable to append to .git/logs/HEAD: Permission denied
fatal: cannot update HEAD ref

So ich:

sudo chown {user} .git/logs/HEAD
sudo chgrp {user} .git/logs/HEAD

Und dann versuche ich es erneut:

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 [email protected]:IAmCorbin/MooKit.git
59da24e..68b6397  master -> master

Hurra. Ich springe aufhttp: //GitHub.co und checke das Repository aus, und mein letztes Commit ist nirgends zu finden. :: scratch head :: Also drücke ich nochmal:

Everything up-to-date

Umm ... es sieht nicht so aus. Ich hatte dieses Problem noch nie zuvor. Könnte dies ein Problem mit Github sein? oder habe ich etwas mit meinem Git-Projekt durcheinander gebracht?

BEARBEITE

Nevermind, ich habe eine einfache:

git push origin master

und es schob gut.