Closed timotheecour closed 6 years ago
When most pull requests were merged, it was done via the github webpage, which (at the time) didn't provide a way to merge via fast-forward. It's something I'll keep in mind in the future.
ok; btw, if you don't mind, could you update dub proto package to point to latest? thanks!
/cc @msoucy github now allows choosing whether to merge, squash+rebase, rebase
FYI @msoucy thanks :)