<div dir="ltr">Hi all,<div><br></div><div>I accidentally pushed a commit to master with a malformed commit message. This was quickly corrected with a forced push minutes later, so you may need to do a forced pull if you did a pull within the few minute window.</div><div><br></div><div>Paul.</div></div>