[15:21:34] <Cigaryno>	 Do you think that we could use an anti-pull request bot in our read-only mirror in GitHub?