Skip to content
This repository has been archived by the owner on Sep 26, 2023. It is now read-only.

Close all open PRs on this repo? #361

Closed
7 tasks done
gadomski opened this issue Sep 20, 2023 · 2 comments
Closed
7 tasks done

Close all open PRs on this repo? #361

gadomski opened this issue Sep 20, 2023 · 2 comments
Labels
question Further information is requested

Comments

@gadomski
Copy link
Contributor

gadomski commented Sep 20, 2023

Since this repo is being sunsetted (#360), should we close all open PRs? Or is there work there that should be ported over to veda-data? I don't have enough background to know the answer at this time.

For reference, here's the open PRs with a brief summary (I've included checkboxes for when the PRs are closed/ported):

@gadomski gadomski added the question Further information is requested label Sep 20, 2023
@jsignell
Copy link

A nuclear option would be to close them all with a note and let people reopen them on veda-data if they are still relevant.

@gadomski
Copy link
Contributor Author

Done, thanks all.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
question Further information is requested
Projects
None yet
Development

No branches or pull requests

2 participants