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

Add related projects to documentation #237

Merged
merged 6 commits into from
Aug 23, 2024

Conversation

evan-palmer
Copy link
Collaborator

@evan-palmer evan-palmer commented Aug 9, 2024

Changes Made

This adds a section to the documentation listing several related projects and updates the website dependencies list.

Associated Issues

Testing

Tested locally

@evan-palmer evan-palmer self-assigned this Aug 9, 2024
@evan-palmer evan-palmer linked an issue Aug 9, 2024 that may be closed by this pull request
@evan-palmer
Copy link
Collaborator Author

@amarburg do you have/know of any projects that might be worth listing here? I was considering adding raven.

@evan-palmer
Copy link
Collaborator Author

This isn't a high-priority PR. Going to wait until the other PRs have been merged before adding this.

@evan-palmer evan-palmer changed the title Add related projects to documentation Remove/update stale configurations Aug 17, 2024
@evan-palmer evan-palmer changed the title Remove/update stale configurations Remove and update stale configurations Aug 17, 2024
@evan-palmer
Copy link
Collaborator Author

I'm going to split off the configuration changes into their own PR

@evan-palmer evan-palmer changed the title Remove and update stale configurations Add related projects to documentation Aug 19, 2024
@evan-palmer evan-palmer merged commit cec5e46 into main Aug 23, 2024
4 checks passed
@evan-palmer evan-palmer deleted the 232-doc-document-related-projects branch August 23, 2024 03:38
@evan-palmer evan-palmer added backport-iron backport-humble Backport this PR to humble backport-jazzy Backport this PR to jazzy labels Aug 23, 2024
mergify bot pushed a commit that referenced this pull request Aug 23, 2024
* Added reference to alternative projects

* Updated npm dependencies

* Removed development branch from documentation build pipeline

* Removed unnecessary whitespace

* Reverted configuration changes in favor of separate PR

(cherry picked from commit cec5e46)
mergify bot pushed a commit that referenced this pull request Aug 23, 2024
* Added reference to alternative projects

* Updated npm dependencies

* Removed development branch from documentation build pipeline

* Removed unnecessary whitespace

* Reverted configuration changes in favor of separate PR

(cherry picked from commit cec5e46)
mergify bot pushed a commit that referenced this pull request Aug 23, 2024
* Added reference to alternative projects

* Updated npm dependencies

* Removed development branch from documentation build pipeline

* Removed unnecessary whitespace

* Reverted configuration changes in favor of separate PR

(cherry picked from commit cec5e46)
evan-palmer added a commit that referenced this pull request Aug 23, 2024
* Added reference to alternative projects

* Updated npm dependencies

* Removed development branch from documentation build pipeline

* Removed unnecessary whitespace

* Reverted configuration changes in favor of separate PR

(cherry picked from commit cec5e46)

Co-authored-by: Evan Palmer <[email protected]>
evan-palmer added a commit that referenced this pull request Aug 23, 2024
* Added reference to alternative projects

* Updated npm dependencies

* Removed development branch from documentation build pipeline

* Removed unnecessary whitespace

* Reverted configuration changes in favor of separate PR

(cherry picked from commit cec5e46)

Co-authored-by: Evan Palmer <[email protected]>
evan-palmer added a commit that referenced this pull request Aug 23, 2024
* Added reference to alternative projects

* Updated npm dependencies

* Removed development branch from documentation build pipeline

* Removed unnecessary whitespace

* Reverted configuration changes in favor of separate PR

(cherry picked from commit cec5e46)

Co-authored-by: Evan Palmer <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport-humble Backport this PR to humble backport-jazzy Backport this PR to jazzy
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[DOC]: Document related projects
1 participant