Mark Wei

👍

see `_escape()` for a first pass workaround

Hey Daniel. This is a known limitation right now. This script uses `ok.sh` to interface with github, and at the moment there is no way to merge a pull request...

There's no strong difference. If you had to choose one, go with Squash merging for a cleaner history.

Yup. If the first word in your commit title is "WIP" then we will stop at that commit during export. I see that this isn't yet documented.

test1

test2

💨

test4

Yea I've seen this happen when the the tool is unable to do a clean merge from master.