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] Rewrite the docs for diff #4006

Merged
merged 7 commits into from
Jan 9, 2024

Conversation

Szelethus
Copy link
Contributor

@Szelethus Szelethus commented Sep 7, 2023

I intend to squash these commits, but this is what I'd consider to be pretty close to the final version of the new diff docs.

As I wrote more and more, it made sense to create a brand new file. The diff docs for specifically the GUI (https://github.com/Szelethus/codechecker/blob/diff_docs_rewrite/web/server/vue-cli/src/assets/userguide/userguide.md#compare-runs) seem to be a mess, but I'm not sure there is a need for rewriting, and if there is, I'm pretty sure it can wait a little :)

Check out the final docs here: https://github.com/Szelethus/codechecker/blob/diff_docs_rewrite/docs/web/diff.md

Depends on #3995 and #3996.

@Szelethus Szelethus added the documentation 📖 Changes to documentation. label Sep 7, 2023
@Szelethus Szelethus added this to the release 6.23.0 milestone Sep 7, 2023
Szelethus added a commit to Szelethus/codechecker that referenced this pull request Sep 8, 2023
Despite only two lines of code, this patch is many things all in once:
* We fix a bug where diffing tags returned unexpected (and percieved to
  be incorrect) results,
* We redefine what we expect from diffing tags,
* We redefine the expected heaviour around review status rules.

Previously, we regarded review status rules are a timeless property, but
what is even more true, we didn't really know what we expect from them
when it came to diffing tags. This lead to confusion on the developer
side and on the user side as well, and lead to whack-a-mole issues and
patches like Ericsson#3675, that was more driven by what users expected from
this feature than a comprehensive plan.

This is okay -- the review status feature and the tag feature grew in
their own world, and nobody can be faulted for being on top of these
features having a very solid specifications right out of the gate. This
patch solved this issue.

From this point on, our stance is the following: when we diff runs, we
always check whether a report is outstanding _at the time of the query_,
and for diffing tags or timestamps, we check whether a report is
outstanding _at the time of the tag/timestamp_.

A user-facing documentation is written in Ericsson#4006, and can be previewed
here:
https://github.com/Szelethus/codechecker/blob/diff_docs_rewrite/docs/web/diff.md
Szelethus added a commit to Szelethus/codechecker that referenced this pull request Sep 12, 2023
Despite only two lines of code, this patch is many things all in once:
* We fix a bug where diffing tags returned unexpected (and percieved to
  be incorrect) results,
* We redefine what we expect from diffing tags,
* We redefine the expected heaviour around review status rules.

Previously, we regarded review status rules are a timeless property, but
what is even more true, we didn't really know what we expect from them
when it came to diffing tags. This lead to confusion on the developer
side and on the user side as well, and lead to whack-a-mole issues and
patches like Ericsson#3675, that was more driven by what users expected from
this feature than a comprehensive plan.

This is okay -- the review status feature and the tag feature grew in
their own world, and nobody can be faulted for being on top of these
features having a very solid specifications right out of the gate. This
patch solved this issue.

From this point on, our stance is the following: when we diff runs, we
always check whether a report is outstanding _at the time of the query_,
and for diffing tags or timestamps, we check whether a report is
outstanding _at the time of the tag/timestamp_.

A user-facing documentation is written in Ericsson#4006, and can be previewed
here:
https://github.com/Szelethus/codechecker/blob/diff_docs_rewrite/docs/web/diff.md
Szelethus added a commit to Szelethus/codechecker that referenced this pull request Sep 13, 2023
Despite only two lines of code, this patch is many things all in once:
* We fix a bug where diffing tags returned unexpected (and percieved to
  be incorrect) results,
* We redefine what we expect from diffing tags,
* We redefine the expected heaviour around review status rules.

Previously, we regarded review status rules are a timeless property, but
what is even more true, we didn't really know what we expect from them
when it came to diffing tags. This lead to confusion on the developer
side and on the user side as well, and lead to whack-a-mole issues and
patches like Ericsson#3675, that was more driven by what users expected from
this feature than a comprehensive plan.

This is okay -- the review status feature and the tag feature grew in
their own world, and nobody can be faulted for being on top of these
features having a very solid specifications right out of the gate. This
patch solved this issue.

From this point on, our stance is the following: when we diff runs, we
always check whether a report is outstanding _at the time of the query_,
and for diffing tags or timestamps, we check whether a report is
outstanding _at the time of the tag/timestamp_.

A user-facing documentation is written in Ericsson#4006, and can be previewed
here:
https://github.com/Szelethus/codechecker/blob/diff_docs_rewrite/docs/web/diff.md
@Szelethus Szelethus requested a review from cservakt September 18, 2023 10:08
Copy link
Collaborator

@cservakt cservakt left a comment

Choose a reason for hiding this comment

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

I have some minor comments about the documentation. I think, we can easily discuss whether it is necessary to change it.

docs/web/diff.md Outdated Show resolved Hide resolved
docs/web/diff.md Show resolved Hide resolved
docs/web/diff.md Show resolved Hide resolved
docs/web/diff.md Show resolved Hide resolved
docs/web/diff.md Outdated Show resolved Hide resolved
docs/web/diff.md Outdated Show resolved Hide resolved
docs/web/diff.md Outdated Show resolved Hide resolved
docs/web/diff.md Outdated Show resolved Hide resolved
docs/web/diff.md Outdated Show resolved Hide resolved
Copy link
Contributor

@bruntib bruntib left a comment

Choose a reason for hiding this comment

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

A rebase could be useful to make sure that some previous commits really match in this patch.

The previous docs were outdated, and recent patches specified more
cornercase that were abscent. I decided to rewrite and exand on the diff
docs.

As I wrote more and more, it made sense to create a brand new file. The diff docs for specifically the GUI (https://github.com/Szelethus/codechecker/blob/diff_docs_rewrite/web/server/vue-cli/src/assets/userguide/userguide.md#compare-runs) seem to be a mess, but I'm not sure there is a need for rewriting, and if there is, I'm pretty sure it can wait a little :)

Check out the final docs here: https://github.com/Szelethus/codechecker/blob/diff_docs_rewrite/docs/web/diff.md
Szelethus and others added 2 commits October 5, 2023 09:42
Co-authored-by: bruntib <bruntib@users.noreply.github.com>
@Szelethus Szelethus requested a review from cservakt October 5, 2023 10:24
Copy link
Member

@dkrupp dkrupp left a comment

Choose a reason for hiding this comment

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

Please see my comments to the doc in #4013

@Szelethus
Copy link
Contributor Author

TODO: I linked my branch to the 6.23.0-rc1 release notes, that needs to point to the Ericsson/master branch after release.

docs/web/diff.md Outdated Show resolved Hide resolved
docs/web/diff.md Outdated Show resolved Hide resolved
Copy link
Member

@dkrupp dkrupp left a comment

Choose a reason for hiding this comment

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

LGTM

@dkrupp dkrupp removed this from the release 6.23.0 milestone Dec 8, 2023
@dkrupp dkrupp added this to the release 6.24.0 milestone Dec 8, 2023
@Szelethus
Copy link
Contributor Author

I fixed all the remaining comments. Unless there is factually wrong information found here, I strongly insist on finally landing this patch. Its already miles better than the current docs, and we can always make it prettier later down the line.

@Szelethus Szelethus merged commit 152cf8b into Ericsson:master Jan 9, 2024
7 of 8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation 📖 Changes to documentation.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants