Reload repo view automatically after a push
When you push a (new) repo the view still shows the old (empty) repo. How hard is it to update this automatically? If it is computationally expensive (which I expect) I think we should close this request.
When you push a (new) repo the view still shows the old (empty) repo. How hard is it to update this automatically? If it is computationally expensive (which I expect) I think we should close this request.