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

Add full stops to user page descriptions #9750

Merged
merged 1 commit into from
Sep 18, 2024

Conversation

janfaracik
Copy link
Contributor

@janfaracik janfaracik commented Sep 18, 2024

Tiny one to add full stops to the user page descriptions introduced in #9521 based on #9734 (comment).

Testing done

N/A

Proposed changelog entries

N/A

Proposed upgrade guidelines

N/A

Submitter checklist

Desired reviewers

@jenkinsci/sig-ux

Before the changes are marked as ready-for-merge:

Maintainer checklist

@janfaracik
Copy link
Contributor Author

/label web-ui

/reviewer @jenkinsci/sig-ux

@comment-ops-bot comment-ops-bot bot added the web-ui The PR includes WebUI changes which may need special expertise label Sep 18, 2024
@comment-ops-bot comment-ops-bot bot requested a review from a team September 18, 2024 17:47
@daniel-beck
Copy link
Member

Thanks for the followup!

@timja timja added the skip-changelog Should not be shown in the changelog label Sep 18, 2024
@timja timja merged commit 1836bd6 into jenkinsci:master Sep 18, 2024
15 checks passed
@timja timja deleted the add-full-stops-to-user-page branch September 18, 2024 21:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
skip-changelog Should not be shown in the changelog web-ui The PR includes WebUI changes which may need special expertise
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants