<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8"> </head> <body> <div style="font-family:sans-serif"><div style="white-space:normal"> <p dir="auto">On 9 Aug 2016, at 10:26, Jacob Carlborg wrote:</p> <p dir="auto"></p></div> <div style="white-space:pre-wrap"><blockquote style="border-left:2px solid #777; color:#777; margin:0 0 5px; padding-left:5px"><div dir="auto">Are you sometimes deploying builds without having updated GitHub? I’m pretty sure I’ve seen a new release without seeing any new commits on GitHub. </div></blockquote></div> <div style="white-space:normal"> <p dir="auto">That happens, but I always push the release tag, which does push the new commits (just doesn’t update <code style="background-color:#F7F7F7; border-radius:3px; margin:0; padding:0 0.4em" bgcolor="#F7F7F7">master</code>). You can see the tagged commit at <a href="https://github.com/textmate/textmate/releases" style="color:#3983C4">https://github.com/textmate/textmate/releases</a> from where it is possible to see the content of the commits.</p> </div> </div> </body> </html>