+[2019-10-25T07:39:54Z]neure`git branch -r` shows old branches, is there way to not show them? +[2019-10-25T07:40:19Z]R2robotdelete them? +[2019-10-25T07:45:51Z]neurethey have been deleted +[2019-10-25T07:46:00Z]neurethey dont show up in github web ui +[2019-10-25T07:47:03Z]neureoh, `git fetch --prune` cleaned up a lot
message no. 175429
Posted by neure in #github at 2019-10-25T07:39:54Z
`git branch -r` shows old branches, is there way to not show them?
+[2019-10-26T10:01:51Z]AtlenohenHey people +[2019-10-26T10:02:12Z]Atlenohengithub hyperlinks aren't working for changes, it throws onto the generic commits page +[2019-10-26T10:02:16Z]Atlenohenhttps://github.com/dolphin-emu/dolphin/compare/master...shiiion:master#diff-a7b5475888908087e763a2563c995f42L7-R331 +[2019-10-26T17:07:33Z]Forest1234hello? +[2019-10-26T17:11:57Z]notepadForest1234: hello