improve formatting of git branch in filtered server.properties