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.

Sign up for GitHub

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

Jump to bottom

chore: fix link to axioms documentation #313

Merged
merged 1 commit into from
Apr 19, 2024
Merged

chore: fix link to axioms documentation #313

merged 1 commit into from
Apr 19, 2024

Conversation

hoexter
Copy link
Contributor

@hoexter hoexter commented Feb 20, 2024

No description provided.

@hoexter hoexter requested a review from hyandell as a code owner February 20, 2024 10:07
jerpelea
jerpelea requested changes Feb 20, 2024
View reviewed changes
Copy link

@jerpelea jerpelea left a comment

Choose a reason for hiding this comment

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

please use "git commit -s" to sign your commit

@hoexter hoexter force-pushed the fix-axioms-link-ref branch from 3262b33 to 80f22e0 Compare February 20, 2024 13:30
@hoexter hoexter requested a review from jerpelea February 20, 2024 13:30
hyandell
hyandell approved these changes Feb 20, 2024
View reviewed changes
Copy link
Member

@hyandell hyandell left a comment

Choose a reason for hiding this comment

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

Thanks! :)

@hyandell hyandell removed the request for review from jerpelea February 20, 2024 22:58
@zhaoyuheng200 zhaoyuheng200 requested a review from jerpelea March 29, 2024 23:11
@hyandell hyandell merged commit 90963c8 into todogroup:main Apr 19, 2024
16 checks passed
@hoexter hoexter deleted the fix-axioms-link-ref branch April 19, 2024 07:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@hyandell hyandell hyandell approved these changes

@jerpelea jerpelea Awaiting requested review from jerpelea

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

Successfully merging this pull request may close these issues.
3 participants
@hoexter @hyandell @jerpelea