4 Dec
2013
4 Dec
'13
6:04 a.m.
On 12/04/2013 06:48 AM, Bjørn Roald wrote:
Can we clean up and get rid of the forks that we are done with?
According to https://help.github.com/articles/fork-a-repo you can delete your own forks, so I guess it is simple enough. -- Bjørn