maintainers: separate main tree and devtools maintenance