Other Changes

• github: Simplify GitHub API routes for post-installation and webhook.