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

motis-proxy: Improve docs #33

Merged
merged 1 commit into from
Feb 23, 2024
Merged

motis-proxy: Improve docs #33

merged 1 commit into from
Feb 23, 2024

Conversation

jbruechert
Copy link
Collaborator

No description provided.

@jbruechert jbruechert marked this pull request as ready for review February 22, 2024 21:38
@jbruechert jbruechert force-pushed the work/jbb/improve-docs branch 3 times, most recently from 14655d4 to 5be9c8e Compare February 22, 2024 22:32
@jbruechert jbruechert force-pushed the work/jbb/improve-docs branch from 5be9c8e to de24683 Compare February 22, 2024 22:45
@jbruechert jbruechert requested a review from vkrause February 23, 2024 01:54
Copy link
Member

@vkrause vkrause left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@jbruechert jbruechert merged commit cf9366d into main Feb 23, 2024
7 checks passed
@derhuerst derhuerst deleted the work/jbb/improve-docs branch February 26, 2024 15:16
@derhuerst derhuerst added the docs regarding documentation label Mar 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs regarding documentation
Development

Successfully merging this pull request may close these issues.

3 participants