Add senseiportal to github pull request bot
Fix pull request bot