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

#1407/clean-topics-vs-practices-in-config #1420

Closed
wants to merge 1 commit into from

Conversation

dmaahs2017
Copy link
Contributor

@dmaahs2017 dmaahs2017 commented Jan 2, 2022

Addresses #1407. I think this also has something to do with #1089 though I am not sure.

I also created a python script to perform this task automatically.

REPLACED BY #1421

config.json Show resolved Hide resolved
config.json Show resolved Hide resolved
@dmaahs2017
Copy link
Contributor Author

dmaahs2017 commented Jan 2, 2022

Closing to re-open in new PR. Forgot to create a new branch on my fork 🤦 Replaced by PR #1421

@dmaahs2017 dmaahs2017 closed this Jan 2, 2022
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.

1 participant