Skip to content

Conversation

ntno
Copy link
Owner

@ntno ntno commented Dec 17, 2024

add note that there is now a 3rd option (codeberg)
follow up to #155

@ntno ntno merged commit bb0d953 into main Dec 17, 2024
15 checks passed
@ntno ntno deleted the ntno-patch-git-revision-doc-page branch December 17, 2024 22:20
@ntno ntno added the documentation Improvements or additions to documentation label Dec 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant