+ [2019-11-05T16:43:32Z] marloi rewrite it how? Simply re-doing doesn't seem to work

+ [2019-11-05T16:44:47Z] Soliton re-doing does work if it includes dropping the old commit.

+ [2019-11-05T16:45:52Z] tshirtman you could git rm the file, and then git commit --ammend

+ [2019-11-05T16:46:21Z] tshirtman amend* not ammend

+ [2019-11-05T16:49:57Z] marloi ok, thanks

message no. 175693

Posted by tshirtman in #github at 2019-11-05T16:46:21Z

amend* not ammend

+ [2019-11-06T04:56:08Z] k_sze arrg. There's not GitHub Desktop client for Linux. :(

+ [2019-11-06T04:56:12Z] k_sze s/not/no/

+ [2019-11-06T05:33:54Z] R2robot k_sze: do you need a gui?

+ [2019-11-06T05:34:14Z] R2robot there are probably some other options available

+ [2019-11-06T15:48:44Z] bello hi. how can i delete file in github? in desktop ?

irc logs