MAINTAINERS: Update tip.git related git trees