Branch permission patterns are case sensitive

tl;dr
Setting a Branch Permission Pattern is case sensitive and doesn't match git's branch name behavior. It should be case insensitive.

Summary
Git branches are not case sensitive. So if you have a branch abc123 locally and you push, it can match up to ABC123 on the remote server.

Now, if you set a branch permission to allow only pushes to ABC*, then pushing to abc123 will not work but pushing to ABC123 will work.

Steps

1. Set up a branch called ABC123 on the server, clone it locally as abc123
2. Set up a branch permission to allow pushes only to ABC132
3. Try to git push origin abc123