+ [2019-10-25T07:39:54Z] neure `git branch -r` shows old branches, is there way to not show them?
+ [2019-10-25T07:40:19Z] R2robot delete them?
+ [2019-10-25T07:45:51Z] neure they have been deleted
+ [2019-10-25T07:46:00Z] neure they dont show up in github web ui
+ [2019-10-25T07:47:03Z] neure oh, `git fetch --prune` cleaned up a lot

message no. 175431

Posted by neure in #github at 2019-10-25T07:45:51Z

they have been deleted
+ [2019-10-26T10:02:12Z] Atlenohen github hyperlinks aren't working for changes, it throws onto the generic commits page
+ [2019-10-26T10:02:16Z] Atlenohen https://github.com/dolphin-emu/dolphin/compare/master...shiiion:master#diff-a7b5475888908087e763a2563c995f42L7-R331
+ [2019-10-26T17:11:57Z] notepad Forest1234: hello