GitHub API requires to set a user agent

GitHub API requires to set a user agent -> set username as user agent
Update github.php
Fixed notice bug for a missing tag index