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 or close old pull requests and issues #103

Closed
jillesvangurp opened this issue May 10, 2024 · 4 comments
Closed

Merge or close old pull requests and issues #103

jillesvangurp opened this issue May 10, 2024 · 4 comments

Comments

@jillesvangurp
Copy link
Collaborator

There are a few years of pull requests. Let's review and merge or close them.

@dhoepelman
Copy link
Collaborator

dhoepelman commented May 10, 2024

I was planning to eventually do this, after I get the release process fixed. Help to review/dismiss them would be greatly appreciated of course. They will also need a merge of latest main to run the current tests and see if they need updating.

@dhoepelman dhoepelman changed the title Merge or close old pull requests Merge or close old pull requests and issues May 10, 2024
@dhoepelman
Copy link
Collaborator

I've closed/merged the open PRs. There's #65 which I know solves a real problem, haven't had time to look into if that's the best way to solve that yet.

Same needs to happen for the open issues

@jillesvangurp
Copy link
Collaborator Author

Great. I can chase up @NikkyAI; we work together

@dhoepelman
Copy link
Collaborator

Also went over all the issues

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

No branches or pull requests

2 participants