Fix home page

Add repos array to users document
Add search wrapper to determine which repos a user has pull rights
Show collaboration repos in the add search
Add semicolon

[skip ci]