<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Jun 2, 2016, at 7:00 AM, Craig, Ben via llvm-dev <<a href="mailto:llvm-dev@lists.llvm.org" class="">llvm-dev@lists.llvm.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class="">
<meta content="text/html; charset=utf-8" http-equiv="Content-Type" class="">
<div bgcolor="#FFFFFF" text="#000000" class=""><p class="">The GitHub app is ok. Not great, but ok. I guess this is one
point in favor of GitHub vs. other git providers. As a maintainer
on a different project, I still had to jump out to the command
line pretty frequently, as we had a squashed pull-request work
flow.<br class="">
</p></div></div></blockquote><div><br class=""></div>FYI, GitHub recently (last month or two?) added support to autosquash when merging a pull request, so you don’t have to do it manually anymore.</div><div><br class=""></div><div>-Chris<br class=""><br class=""></div><br class=""></body></html>