Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update DEVELOPMENT.md #12

Open
wants to merge 4 commits into
base: main
Choose a base branch
from
Open

Update DEVELOPMENT.md #12

wants to merge 4 commits into from

Conversation

dfreilich
Copy link
Owner

Summary

Output

Before

After

Documentation

  • Should this change be documented?
    • Yes, see #___
    • No

Related

Resolves #___

…and milestones to new PRs

* For labelling, we use Githubs built in labeler action, together with a config file (.github/labeler.yml), describing a number of paths.
* For milestones, this uses the github-script to get the list of milestones for the repo, select the first (the oldest open), and assigns that to the PR

Signed-off-by: David Freilich <dfreilich@vmware.com>
…issue.

* Use github object, instead of unknown client

Signed-off-by: David Freilich <dfreilich@vmware.com>
Signed-off-by: David Freilich <dfreilich@vmware.com>
@github-actions github-actions bot added this to the 0.1.0 milestone Jan 21, 2021
@dfreilich dfreilich closed this Jan 21, 2021
@dfreilich dfreilich reopened this Jan 21, 2021
@dfreilich dfreilich removed this from the 0.1.0 milestone Jan 21, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant