housekeeping for pull request