Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Add previous tools section #1446

Merged
merged 1 commit into from
Mar 18, 2024
Merged

Add previous tools section #1446

merged 1 commit into from
Mar 18, 2024

Conversation

Ainali
Copy link
Member

@Ainali Ainali commented Mar 18, 2024

Fixes #1445

@Ainali Ainali requested a review from clausmullie March 18, 2024 10:39
@Ainali Ainali requested a review from a team as a code owner March 18, 2024 10:39
@clausmullie
Copy link
Contributor

Should we move most of these to previous? Or merge as is and then move the rest in two weeks?

@Ainali
Copy link
Member Author

Ainali commented Mar 18, 2024

I think merge as is and move others as they get cancelled. Not all will be.

@clausmullie clausmullie merged commit 2f40e26 into develop Mar 18, 2024
2 checks passed
@clausmullie clausmullie deleted the previous-tools branch March 18, 2024 13:26
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@clausmullie clausmullie clausmullie approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Create an "Old tools" section
2 participants
@Ainali @clausmullie