11d230
bin/get_formulas.py: move the pull-request code and arg on top makes it more clear that this arg doesn't require destination, while everything else does