revise pull-request workflow