GitHub: full repository info in user page