Actually make use of the github credentials
Hide show page edit buttons

Hide buttons to edit applications or record missing deployments from
unprivileged users on the application show page.
Hide index page edit buttons

Hide buttons that record missing deployments or add application notes
from unprivileged users.