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

Merge this repo with brainglobe-meta #81

Open
adamltyson opened this issue Sep 11, 2024 · 4 comments
Open

Merge this repo with brainglobe-meta #81

adamltyson opened this issue Sep 11, 2024 · 4 comments
Labels
enhancement New feature or request

Comments

@adamltyson
Copy link
Member

The purposes of the two repos could be easily merged, and we'd have one less repo to think about.

@adamltyson adamltyson added the enhancement New feature or request label Sep 11, 2024
@alessandrofelder
Copy link
Member

Agreed, maybe we want two different project boards (or labels?) in the merged repo

  • one for high-level abstract issues pertaining to the whole of BrainGlobe (the purpose of issues here)
  • one for meta-package related, concrete issues (the usual repo-level issue-tracking)

I think this distinction was the reason we went for separate repos originally.

@adamltyson
Copy link
Member Author

We could just add tags? To me the metapackage is the natural place to have these high-level issues anyway.

@adamltyson
Copy link
Member Author

Might not be a good idea, but I'm always looking for ways to simplify the developer experience.

@alessandrofelder
Copy link
Member

I don't have a strong opinion either way. Only that we document this (which I don't thing we do currently 😅 )

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

No branches or pull requests

2 participants