important bug fixed in pull request manager: need to use strings here