+[2015-02-03T18:10:15Z]VxJasonxVupgrade* from +[2015-02-03T18:10:27Z]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? +[2015-02-03T18:10:36Z]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/ +[2015-02-03T18:11:46Z]seanzVxJasonxV: Thanks very much. +[2015-02-03T18:13:15Z]VxJasonxVcolonolGron: examples?
message no. 77602
Posted by seanz in #github at 2015-02-03T18:11:46Z
VxJasonxV: Thanks very much.
+[2015-02-04T18:49:46Z]GunArmis it possible to revert or delete the last commit on the github web interface, without cloning the repo into local gitbash? +[2015-02-04T18:50:00Z]GunArmor what about squashing commits +[2015-02-04T18:56:28Z]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? +[2015-02-04T18:59:00Z]thibaultchaGunArm: You can revert the commit from the web interface but not "delete" it. See !revert +[2015-02-04T18:59:00Z]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]?