Need of WebOfSockets for the Forest/Trees
When we create or delete or modify the Tree, we have to refresh the page if we are on this part of tree already.
But actually (we can use it like this): would be nice to have!
Edited by Alexandre Delanoe
Due to a large amount of spam we do not allow new users to create repositories, they are "external" users. If you are a new user and want to create a repository, for example for forking GHC, open a new issue on ghc/ghc using the "get-verified" issue template
When we create or delete or modify the Tree, we have to refresh the page if we are on this part of tree already.
But actually (we can use it like this): would be nice to have!