remove a useless script, fix git push

Signed-off-by: Chris “Kwpolska” Warrick <kwpolska@gmail.com>