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.

Sign up for GitHub

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

Jump to bottom

Tools: Add Tools label #5449

Merged
merged 2 commits into from
Oct 5, 2023
Merged

Tools: Add Tools label #5449

merged 2 commits into from
Oct 5, 2023

Conversation

DavidSouther
Copy link
Contributor

This pull request adds a label for Tools-specific work. Tools are written in Python and streamline development tasks specific to this project.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 license.

@github-actions github-actions bot added the GitHub settings This affects GitHub settings label Sep 29, 2023
@DavidSouther DavidSouther self-assigned this Sep 29, 2023
@ford-at-aws
Copy link
Contributor

I would support you also deleting the Testing label, as the test stuff will fall into this category.

@DavidSouther DavidSouther force-pushed the DavidSouther-patch-tools-label branch from 4153e4c to 0448d1a Compare October 5, 2023 18:36
@DavidSouther DavidSouther added On Call Review needed This work needs an on-call review Text Review not needed This contains no text which needs review labels Oct 5, 2023
@rlhagerm rlhagerm added On Call Review complete On call review complete and removed On Call Review needed This work needs an on-call review labels Oct 5, 2023
@DavidSouther @rlhagerm
Tools: Add Tools label
96edad4 
Add label for Tools-specific work. Tools are written in Python and streamline development tasks specific to this project.
@DavidSouther @rlhagerm
Add label ruleset for tools
c511f6f
@rlhagerm rlhagerm force-pushed the DavidSouther-patch-tools-label branch from 7c0ee1b to c511f6f Compare October 5, 2023 20:16
@rlhagerm rlhagerm added the Task label Oct 5, 2023
@rlhagerm rlhagerm merged commit 748656a into main Oct 5, 2023
@rlhagerm rlhagerm deleted the DavidSouther-patch-tools-label branch October 5, 2023 20:20
ford-at-aws pushed a commit that referenced this pull request Dec 15, 2023
@DavidSouther @ford-at-aws
Tools: Add Tools label (#5449)
f5cb05c 
* Tools: Add `Tools` label

Add label for Tools-specific work. Tools are written in Python and streamline development tasks specific to this project.

* Add label ruleset for tools
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Laren-AWS Laren-AWS Laren-AWS approved these changes

Assignees

@DavidSouther DavidSouther

Labels
GitHub settings This affects GitHub settings On Call Review complete On call review complete Text Review not needed This contains no text which needs review
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@DavidSouther @ford-at-aws @Laren-AWS @rlhagerm