Update pull script

It's merged now ;)
https://gerrit.omnirom.org/#/c/6833/
Also I needed it on S4 Mini, what a coincidence :)