@Amro Tork You are right that GitHub seems to really struggle with your primitive rename pull requests -- I've never seen GitHub be this grumpy before