+ [2020-04-25T01:30:03Z] nedbat nickgaw: free can make private repos: https://github.com/pricing
+ [2020-04-25T10:06:41Z] canton7 nickgaw, yeah, that was changed fairly recently
+ [2020-04-25T14:13:31Z] pat64 Will GitHub Actions artifacts always be ZIP files? Or can I have another binary file directly available as an artifact, too?
+ [2020-04-25T16:37:34Z] teut how to merge local master with github other brancg?
+ [2020-04-25T16:37:36Z] teut h*

message no. 179841

Posted by nedbat in #github at 2020-04-25T01:25:10Z

nickgaw: it's fine to delete a public repo
+ [2020-04-26T01:05:08Z] Viking667 On a github repo, is there a way of winding back to a specific point and truncating at that point? (i.e. I want to full-out rewind to a specific commit) and drop the later commit
+ [2020-04-26T01:16:39Z] R2robot there is, but I forget how. :D
+ [2020-04-26T01:16:58Z] R2robot i think it's a matter of pointing head to that commit
+ [2020-04-26T01:24:18Z] R2robot !reset--hard
+ [2020-04-26T01:24:18Z] gitinfo You can go back to the last commit, or any other commit (effectively getting rid of commits which can cause issues, see !rewrite), using 'git reset --hard' with an optional commit/ref argument. This will irrevocably destroy all uncommitted changes, so please be careful!