Joey Perrott d9356f2842 feat(dev-infra): close pull requests on merge which do not target master branch (#39979) ... Previously, when a PR which does not target the master branch in the Github UI was merged it would not close automatically. This change detects when this case occurs and closes the PR via the Github API. For example: A PR which targets the 11.0.x branch in the Github UI has the `target: patch` label This PR is only pushed into the 11.0.x branch, which does not trigger Github's reference based actions to close the PR. PR Close #39979		2020-12-07 09:47:30 -08:00
..
api-merge.ts	refactor(dev-infra): create ng-dev executable locally in the repo (#39089)	2020-10-22 13:36:14 -07:00
autosquash-merge.ts	feat(dev-infra): close pull requests on merge which do not target master branch (#39979)	2020-12-07 09:47:30 -08:00
commit-message-filter.js	style(dev-infra): correct tslint failures in dev-infra directory (#37233)	2020-06-04 12:44:46 -07:00
strategy.ts	fix(dev-infra): run fetches in the git client in quiet mode (#39503)	2020-11-02 16:41:47 -08:00