Formalizing pull request assignment