BTW, it took us a while to make sure we deploy right from pip on production, that means that community will get all the latest hotfixes and the github repo won'

BTW, it took us a while to make sure we deploy right from pip on production, that means that community will get all the latest hotfixes and the github repo won't be stale as it's not just the mirror or one time copy.