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

Set homepage as plugins.jenkins.io for new plugins and update defaults #3798

Merged
merged 4 commits into from Mar 3, 2024

Conversation

NotMyFault
Copy link
Member

Fixes #3573

Signed-off-by: Alexander Brandes <mc.cache@web.de>
@NotMyFault NotMyFault requested a review from a team as a code owner March 3, 2024 12:29
Signed-off-by: Alexander Brandes <mc.cache@web.de>
@NotMyFault NotMyFault changed the title Set homepage as plugins.jenkins.io for new plugins Set homepage as plugins.jenkins.io for new plugins and update defaults Mar 3, 2024
Signed-off-by: Alexander Brandes <mc.cache@web.de>
Comment on lines +256 to +258
if (!r.getDefaultBranch().equals("main")) {
r.setDefaultBranch("main");
}
Copy link
Member Author

Choose a reason for hiding this comment

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

GitHub recommends creating new repositories with main over master, and it's the selected default if you do that through GitHub.
I'd like to build upon that and ensure we don't introduce new degenerative terms.

@NotMyFault NotMyFault requested a review from timja March 3, 2024 13:31
@timja timja merged commit 8c15926 into jenkins-infra:master Mar 3, 2024
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Set GitHub homepage to plugin site when accepting a hosting request
2 participants