changed pull request bot names