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

[Feature Request] Configureable wiki branch #18568

Closed
schorsch13 opened this issue Feb 3, 2022 · 4 comments · Fixed by #29603
Closed

[Feature Request] Configureable wiki branch #18568

schorsch13 opened this issue Feb 3, 2022 · 4 comments · Fixed by #29603
Labels
type/proposal The new feature has not been accepted yet but needs to be discussed first.

Comments

@schorsch13
Copy link
Contributor

Introduction

Currently the wiki has only one branch where everything happens and its name is master. There is no option to view the wiki from a different branch

Proposal

  • Change the default branch name from master to main (IETF recommended terminology)
  • Add a drop-down menu where you can switch the branch of the wiki in the web-ui

Credits

The main idea of this feature request comes from the codeberg user ECP5-PCIe. Have a look at the issue on codeberg

@lunny lunny added the type/proposal The new feature has not been accepted yet but needs to be discussed first. label Feb 3, 2022
@zander
Copy link

zander commented Jul 9, 2022

Can you explain how you would use this to make this useful?

Sounds like it would be extremely confusing and making something that is simple and elegant overly complex, I'd like to know what usecase this solves.

@aschrijver
Copy link

(The first bullet point at least would be for sake of consistency. Creating a new repo will create a main branch, not master which is the old way. Second bullet would be optional, and not a need I have personally)

@ECP5-PCIe
Copy link

Yes, changing the default branch to main for consistency would be good and was my main issue with it, though having it configurable might be good for people who use other branch names, like having a wiki branch.
One use-case for a user-selectable branch might be if you have different wikis, for example one for using the program and another for developing it.

@wxiaoguang
Copy link
Contributor

-> Make wiki default branch name changable #29603

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Mar 17, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
type/proposal The new feature has not been accepted yet but needs to be discussed first.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

6 participants