Greetings,
I accidentally pushed a commit directly onto the develop branch a few days ago and, of course, reverted the commit as soon as I found out. I think the develop branch should be protected to avoid such misoperations. Can someone with the authorization (Chris I guess) do that? Best regards, Tian Jiang
