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

Improve bocchi #1054

Closed
wants to merge 3 commits into from
Closed

Improve bocchi #1054

wants to merge 3 commits into from

Conversation

i5o
Copy link
Contributor

@i5o i5o commented Apr 2, 2024

No description provided.

@i5o i5o requested a review from a team as a code owner April 2, 2024 16:25
Copy link
Contributor

@JakeFerrero JakeFerrero left a comment

Choose a reason for hiding this comment

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

Bocchi can be used for both public and private graph repos. As such, I’d keep the files and then as an enhancement, we can have a “public” option or something in bocchi that will omit those files when creating everything.

So I think the only file here that really makes sense to go is pull_request_template. But like I said, I think this PR has given me a good idea for an enhancement to bocchi.

@@ -1,17 +0,0 @@
# Description
Copy link
Contributor

Choose a reason for hiding this comment

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

This can definitely go

@i5o i5o changed the title Delete unused files on bocchi Improve bocchi Apr 18, 2024
@i5o i5o closed this May 17, 2024
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

3 participants