updating PR count after synching them

fixes #828 :)