+[10 years ago]VxJasonxVupgrade* from +[10 years ago]colonolGroni just did a forced git push. but some files doesnt seem to be updated on the github repo. is this a common error? what am i goin to do about it? +[10 years ago]VxJasonxVhttps://help.github.com/enterprise/2.1/admin/guides/installation/ / https://help.github.com/enterprise/2.1/admin/guides/installation/migrating-to-a-different-platform-or-from-github-enterprise-11-10-34x/ +[10 years ago]seanzVxJasonxV: Thanks very much. +[10 years ago]VxJasonxVcolonolGron: examples?
message no. 77602
Posted by seanz in #github at 2015-02-03T18:11:46Z
VxJasonxV: Thanks very much.
+[10 years ago]GunArmis it possible to revert or delete the last commit on the github web interface, without cloning the repo into local gitbash? +[10 years ago]GunArmor what about squashing commits +[10 years ago]TheSHAD0WI have a fork of a project in my account with no changes from when I forked it; can I update it to the latest from what it was forked without having to delete and re-fork? +[10 years ago]thibaultchaGunArm: You can revert the commit from the web interface but not "delete" it. See !revert +[10 years ago]gitinfoGunArm: That's a rather ambiguous question... options: a) make a commit that "undoes" the effects of an earlier commit [man git-revert]; b) discard uncommitted changes in the working tree [git reset --hard]; c) undo committing [git reset --soft HEAD^]; d) restore staged versions of files [git checkout -p]; e) move the current branch to a different point(possibly losing commits)[git reset --hard $COMMIT]?