Trying to trouble shoot the reason for this. We have upgraded our dev env to 7.1.2 and stage env to 7.1.9.
I am not sure if this is an issue because of the upgrade, or other possible changes in the environments.
The repo sync between JIRA and GitHub still works, but the users can not see the development tools.
Does anyone know of any known issues?