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

tools.md: add bevry's automation tooling #300

Closed
wants to merge 4 commits into from

Conversation

balupton
Copy link
Contributor

close #5

/cc #114 #172 #280 #298 #299

@balupton
Copy link
Contributor Author

balupton commented Dec 14, 2019

In hindsight, I think tools.md should just be replaced by say a awesome-maintenance repo that follows in the awesome-* spirit. As otherwise good tooling may be left out because such tooling may not comply with the requirement of this working group's blessing.

Copy link
Member

@Eomm Eomm left a comment

Choose a reason for hiding this comment

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

I would add a sentence to admit other good references

I like the awesome list format, but maybe it is too early and we should collect and include more data.
awsome requirements as ref

@ljharb
Copy link
Member

ljharb commented Jan 6, 2020

why is this a standard we’re endorsing? I don’t think it’s appropriate for a node group to bless a particular community convention, even for an informational list.

Copy link
Member

@mhdawson mhdawson left a comment

Choose a reason for hiding this comment

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

I agree with @ljharb, the first line in the file says that these are tools built by the packaged maintenance team which the additional is not.

@wesleytodd
Copy link
Member

TBQH, I think we should just delete this file until we have some clear purpose for it. I suspect we will never want it as it would give too much weight even on the tools we end up building and supporting.

@mhdawson
Copy link
Member

I agree we should just delete the file.

@mhdawson
Copy link
Member

Going close this out since we are going to remove the file anyway.

@mhdawson mhdawson closed this Oct 20, 2020
@wesleytodd wesleytodd mentioned this pull request Oct 20, 2020
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.

Suggestion: Tooling to assist maintenance errands
5 participants