pull down to refresh

gitlab.com always exists. git itself is an open source program and anyone can host a website that accepts git commands. Perhaps this dev may consider something like this.