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.

Sign up for GitHub

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

Jump to bottom

Correct capitalization in plugin name #59

Merged
merged 2 commits into from Jul 29, 2022
Merged

Correct capitalization in plugin name #59

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
87e3d31
Correct capitalization in plugin name
jglick Jan 12, 2022
2b6118a
Merge branch 'master' of https://github.com/jenkinsci/git-server-plug…
jglick Jun 10, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
5 changes: 1 addition & 4 deletions pom.xml
View file
Open in desktop
Expand Up @@ -11,10 +11,7 @@
<version>${revision}${changelist}</version>
<packaging>hpi</packaging>

<name>Jenkins GIT server Plugin</name>
Copy link
Member Author

Choose a reason for hiding this comment

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

https://git-scm.com/ does not put Git in all caps.

<description>
This library plugin provides embedded Git server capability inside Jenkins
</description>
Comment on lines -15 to -17
Copy link
Member Author

Choose a reason for hiding this comment

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

Redundant.

git-server-plugin/src/main/resources/index.jelly

Line 3 in 1ebec38

Allows Jenkins to act as a Git server.

<name>Jenkins Git server Plugin</name>
<url>https://github.com/jenkinsci/${project.artifactId}-plugin</url>

<properties>
Expand Down