shortening commit messages to fit github's UI better