Skip to content

Bugfix 144 bughunt#175

Merged
Ludee merged 18 commits intodevelopfrom
bugfix-144-bughunt
Oct 21, 2024
Merged

Bugfix 144 bughunt#175
Ludee merged 18 commits intodevelopfrom
bugfix-144-bughunt

Conversation

@Ludee
Copy link
Copy Markdown
Member

@Ludee Ludee commented Oct 21, 2024

Summary of the discussion

Updated all key descriptions and examples.
Improve and harmonise with the documentation.
Add badge labels to documentation.

Type of change (CHANGELOG.md)

Added

  • Add badge labels to documentation (#175)

Updated

  • Update all descriptions and examples (#175)

Workflow checklist

Automation

Closes #171
Part of #144

PR-Assignee

Reviewer

  • 🐙 Follow the Reviewer Guidelines
  • 🐙 Provided feedback and show sufficient appreciation for the work done

@Ludee Ludee added type: bug 🐛 Something isn't working part: documentation 📖 Improvements or additions to documentation type: enhancement ⚙️ Improvement of an existing feature labels Oct 21, 2024
@Ludee Ludee requested a review from jh-RLI October 21, 2024 19:57
@Ludee Ludee self-assigned this Oct 21, 2024
@Ludee Ludee marked this pull request as ready for review October 21, 2024 19:59
@Ludee Ludee merged commit 63d994f into develop Oct 21, 2024
@jh-RLI jh-RLI deleted the bugfix-144-bughunt branch October 21, 2024 21:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

part: documentation 📖 Improvements or additions to documentation type: bug 🐛 Something isn't working type: enhancement ⚙️ Improvement of an existing feature

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

The documentation is missing the information about the type of key and corresponding badge

1 participant