Skip to content

Remove badges from documentation #162

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

Merged
merged 1 commit into from
Jan 6, 2025

Conversation

MarkEWaite
Copy link
Contributor

@MarkEWaite MarkEWaite commented Jan 6, 2025

Remove badges from documentation

The badges are given a prominent position at the top of the user documentation but are of very little value to the user. Those who want to know the current release can see it very clearly on the plugins site and on the GitHub page.

The coverage information from the codecov badge is available from the coverage report on ci.jenkins.io and from the coverage check report on GitHub. One more location for coverage reporting is not valuable enough to occupy the top line of the user documentation.

The installation count is provided on the plugins.jenkins.io page and includes a 12 month history graph and easy access to detailed deployment statistics by plugin version and Jenkins core version.

Testing done

Confirmed that the page renders correctly on GitHub.

Submitter checklist

  • Make sure you are opening from a topic/feature/bugfix branch (right side) and not your main branch!
  • Ensure that the pull request title represents the desired changelog entry
  • Please describe what you did
  • Link to relevant issues in GitHub or Jira
  • Link to relevant pull requests, esp. upstream and downstream changes
  • Ensure you have provided tests - that demonstrates feature works or fixes the issue

The badges are given a prominent position at the top of the user
documentation but are of very little value to the user.  Those who
want to know the current release can see it very clearly on the plugins
site https://plugins.jenkins.io/plot/releases/ and on the GitHub page
https://github.com/jenkinsci/plot-plugin/releases .

The coverage information from the codecov badge is available from the
coverage report on ci.jenkins.io and from the coverage check report
on GitHub.  One more location for coverage reporting is not valuable
enough to occupy the top line of the user documentation.

The installation count is provided on the plugins.jenkins.io page and
includes a 12 month history graph and easy access to detailed deployment
statistics by plugin version and Jenkins core version.
@MarkEWaite MarkEWaite changed the title documentation Remove badges from documentation Jan 6, 2025
@MarkEWaite MarkEWaite added the documentation Documentation updates label Jan 6, 2025
@MarkEWaite MarkEWaite enabled auto-merge (squash) January 6, 2025 18:39
Copy link
Contributor

@gounthar gounthar left a comment

Choose a reason for hiding this comment

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

That's a very valid point, thanks, Mark! 👍

@MarkEWaite MarkEWaite merged commit 3ff8e6f into jenkinsci:master Jan 6, 2025
17 checks passed
@MarkEWaite MarkEWaite deleted the remove-badges branch January 6, 2025 18:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Documentation updates
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants