[pulls] Allow hiding repos without open pull request
whitespace
[pulls] Group user related JS code in a file