Christopher Hiller d866bddc15 chore(ci): filter more workflows ...

This causes the "Build" workflow to only trigger if the PR modifies files in paths that might affect the build.

Likewise, the "Build Docs" workflow is expanded to rebuild docs if API changes occur (e.g. in sources).

Also restricts perms a bit more on docs build.

2023-04-05 14:37:05 -07:00

..

ISSUE_TEMPLATE

chore(github): replace bug report template with bug report form

2022-10-31 13:26:22 -07:00

workflows

chore(ci): filter more workflows

2023-04-05 14:37:05 -07:00

labeler.yml

chore: update labeler config

2023-03-30 11:17:06 -07:00

lock.yml

Add lock app to deal with old issues (#12534)

2019-04-23 13:44:22 -04:00

PULL_REQUEST_TEMPLATE.md

chore: remove CLA link in PR template

2022-09-13 13:43:36 -07:00