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

#577 glossary contains references #669

Merged
merged 4 commits into from
Nov 10, 2024
Merged

Conversation

gernotstarke
Copy link
Member

@gernotstarke gernotstarke commented Oct 30, 2024

@ulibecker or @skogsbaer could you please have a look... thx

@gernotstarke gernotstarke added V2025 Release 2025 documentation Documentation of any kind, e.g. for style, process, members etc labels Oct 30, 2024
@gernotstarke gernotstarke self-assigned this Oct 30, 2024
Copy link
Contributor

github-actions bot commented Oct 30, 2024

@skogsbaer
Copy link
Collaborator

looks good!

@alxlo
Copy link
Contributor

alxlo commented Nov 10, 2024

ping @skogsbaer - From what I can see, this ADR proposal can be traced back to your comment from #577.
I would really like to merge it to keep our backlog of PRs small. Technically merging is already possible but having feedback from you would be good.

Copy link
Collaborator

@skogsbaer skogsbaer left a comment

Choose a reason for hiding this comment

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

looks good!

@skogsbaer
Copy link
Collaborator

ping @skogsbaer - From what I can see, this ADR proposal can be traced back to your comment from #577. I would really like to merge it to keep our backlog of PRs small. Technically merging is already possible but having feedback from you would be good.

I already added a positiv comment last week. I've now added my review and merged to PR.

@skogsbaer skogsbaer merged commit cfb0015 into main Nov 10, 2024
1 check passed
@skogsbaer skogsbaer deleted the #577-glossary-contains-references branch November 10, 2024 15:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Documentation of any kind, e.g. for style, process, members etc V2025 Release 2025
Projects
Status: Done / Implemented
Development

Successfully merging this pull request may close these issues.

4 participants