Ich habe ein seltsames Problem, das ich scheinbar nicht lösen kann. Folgendes ist passiert:
Ich hatte einige Protokolldateien in einem Github-Repository, die ich dort nicht wollte. Ich habe dieses Skript gefunden, das Dateien wie folgt 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 versucht. Es schien gut zu funktionieren. Ich habe dann einen Git Push -f gemacht und wurde mit 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 gut gelaufen zu sein, da die Dateien aus dem GitHub-Repository verschwunden zu sein scheinen. Wenn ich versuche, es erneut zu pushen, 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
BEARBEITEN
$ 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!
BEARBEITEN
Oh oh. Problem. Ich habe die ganze Nacht an diesem Projekt gearbeitet und bin nur gegangen, um meine Änderungen zu übernehmen:
error: Unable to append to .git/logs/refs/heads/master: Permission denied
fatal: cannot update HEAD ref
Also ich:
sudo chown {user} .git/logs/refs/heads/master
sudo chgrp {user} .git/logs/refs/heads/master
Ich versuche das Commit erneut und bekomme:
error: Unable to append to .git/logs/HEAD: Permission denied
fatal: cannot update HEAD ref
Also ich:
sudo chown {user} .git/logs/HEAD
sudo chgrp {user} .git/logs/HEAD
Und dann versuche ich es noch einmal:
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. Ich springe auf http://GitHub.com und überprüfe das Repository. Mein letztes Commit ist nicht zu finden. :: Kratzkopf :: Also drücke ich nochmal:
Everything up-to-date
Ähm ... 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?
BEARBEITEN
Egal, ich habe ein einfaches gemacht:
git push origin master
und es drückte gut.