This simple extension adds code formatting in Pivotal comments and turns Pivotal IDs found in GitHub pull requests into links.
Two convenience features for developers, in one lightweight extension: Any code within a <pre></pre> tag found in Pivotal comments will be auto-indented when viewed with this extension. Pivotal Story IDs within GitHub Pull Requests will turn into links to Pivotal Stories. Simply install the extension and go! Provided for free by Gengo.