Hello, we have integrated the development tools for GitHub since a while. It works very well.
At least if the user is logged in the branch and commit information is shown.
Now we would like to show this information to users who are not logged in. Unfortunately, this seems not to work.
Even changing the permission in the Permission Scheme vor the 'View Development Tools' to Public and Group(users) it doesn't show up for anonymous users.
Is this an issue or can I change the configuration somehow to make it visible?
Thanks
Marco