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

feat: Add label syncing. #30

Merged
merged 3 commits into from Jul 1, 2020
Merged

feat: Add label syncing. #30

merged 3 commits into from Jul 1, 2020

Conversation

cfanoulis
Copy link
Contributor

This will allow us to have similar labels across all of our projects, and makes editing far easier.

PR incoming in knossos as well

(and yes, there's a discord.xml, git whined about it so here you have it)

@Geometrically
Copy link
Member

What exactly do the namespaces do?

@cfanoulis cfanoulis closed this Jul 1, 2020
@cfanoulis cfanoulis reopened this Jul 1, 2020
@cfanoulis
Copy link
Contributor Author

my bad for that, fat finger'd

Nanespace refers to the area of code the issue/pr touches. f.e. the mod endpoints fall under the Mod namespace

Copy link
Contributor

@Redblueflame Redblueflame left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@Geometrically Geometrically merged commit f22e4f1 into master Jul 1, 2020
@Aeledfyr Aeledfyr deleted the labelsync branch July 2, 2020 16:19
thesuzerain pushed a commit that referenced this pull request Dec 5, 2023
* ci: Add label syncing

* ci: add more label sprinkles
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants