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

docs: update checklist in README.md #22

Merged
merged 1 commit into from
Mar 28, 2024
Merged

Conversation

MarkoSagadin
Copy link
Collaborator

@MarkoSagadin MarkoSagadin commented Mar 19, 2024

Description

I have updated the checklist in the project template.

I hope that is better than the previous one.

Additionally, the documentation for the CodeChecker server (it is linked), was updated. It should be clearer now what needs to be done.

Areas of interest for the reviewer

Changes.

After-review steps

  • I will merge PR by myself.

Copy link
Collaborator Author

MarkoSagadin commented Mar 19, 2024

@github-actions github-actions bot added the pull request Pull request, added automatically by CI. label Mar 19, 2024
@MarkoSagadin MarkoSagadin requested a review from TjazVracko March 19, 2024 12:38
@MarkoSagadin MarkoSagadin marked this pull request as ready for review March 19, 2024 12:40
@MarkoSagadin MarkoSagadin force-pushed the feature/pre-commit-changes branch from 5d2ed18 to f49dcb1 Compare March 19, 2024 14:10
@MarkoSagadin MarkoSagadin force-pushed the feature/new_checklist branch from bc5bc91 to f3e36e6 Compare March 19, 2024 14:11
@MarkoSagadin MarkoSagadin force-pushed the feature/pre-commit-changes branch from f49dcb1 to b674ad0 Compare March 28, 2024 14:52
@MarkoSagadin MarkoSagadin force-pushed the feature/new_checklist branch from f3e36e6 to 3957827 Compare March 28, 2024 14:52
Copy link
Collaborator Author

MarkoSagadin commented Mar 28, 2024

Merge activity

  • Mar 28, 10:53 AM EDT: @MarkoSagadin started a stack merge that includes this pull request via Graphite.
  • Mar 28, 10:58 AM EDT: Graphite rebased this pull request as part of a merge.
  • Mar 28, 10:59 AM EDT: @MarkoSagadin merged this pull request with Graphite.

@MarkoSagadin MarkoSagadin force-pushed the feature/pre-commit-changes branch from b674ad0 to 28250c9 Compare March 28, 2024 14:54
@MarkoSagadin MarkoSagadin changed the base branch from feature/pre-commit-changes to main March 28, 2024 14:56
@MarkoSagadin MarkoSagadin force-pushed the feature/new_checklist branch from 3957827 to 416388e Compare March 28, 2024 14:57
@MarkoSagadin MarkoSagadin merged commit 7495a09 into main Mar 28, 2024
@MarkoSagadin MarkoSagadin deleted the feature/new_checklist branch April 5, 2024 07:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pull request Pull request, added automatically by CI.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants