Proposal: Maintainer Tools Repo

[blink1073]

As discussed at this week's dev meeting, this proposal is to create a new repo, notionally called maintainer-tools.

The goal of the repo is to have actions and workflows that are useful for maintainers, such as:

• Workflow to run a script against a PR as a maintainer (relevant code will be open sourced once this repo is created). The workflow is meant to be run from a fork using the maintainer's own GitHub credentials.
• Common GitHub actions that can be used in other repos, using the new action composition capability in GitHub Actions

This repo could also be used by sibling GitHub orgs like jupyter-server, or they could decide to adopt this pattern and have their own maintainer-tools if the workflows/actions needed to diverge.

[jtpio]

Thanks for opening this 👍

This would definitely be useful. Especially when making changes directly via the GitHub UI or github.dev, where it's easy to miss the lint and integrity issues since the scripts are not running in these environments.

[fcollonval]

👍 to add a new repo for the useful maintainer tools.

[blink1073]

Step 1: jupyterlab/maintainer-tools#1

[jtpio]

The maintainer tools repo now has a couple of actions used across several repos.

Looks like we could then close this issue?

[blink1073]

Yep!