immersive-web / administrivia

A repo for managing the adminstrative tasks of the Immersive Web Group.
25 stars 18 forks source link

Change repo default branches from master to main #107

Closed Yonet closed 3 years ago

Yonet commented 4 years ago

WG

CG

Others

himorin commented 4 years ago

note, I think most of these repositories uses gh-pages for source branch of github pages, but wait for our (W3C team)'s investigation on how to configure to use main branch as their source if master is source currently.

Yonet commented 4 years ago

@himorin thank you, I'll wait.

himorin commented 4 years ago

As for now:

I think 'AR common' repo listed in WG is others (no github pages, not actively used)?

Yonet commented 4 years ago

@himorin is it ok to change the master branches in any of them? Would anything, like the IPR tool be affected by the change? If not, we can just rename the master branch to main and set it as the default branch.

himorin commented 4 years ago

I believe IPR tool picks PR notification, but not checking repositories directly. (also PR notification contains branch of PR source and target to merge) For ones with 'no github pages', I think we are fine to rename. I'm not sure for ones with 'gh-pages for github pages', by mean of how external tool (like travis for generating gh-pages) works. For these, I think we'd better to wait verification by W3C team (@dontcallmedom, any further comment?).

dontcallmedom commented 4 years ago

as @himorin said, the IPR tool doesn't deal with branches directly, so we don't need to worry about it.

From our early investigation, there are 2 main challenges in renaming master to main:

Beyond these, there are additional checks to keep in mind:

himorin commented 4 years ago

(for record. github provides notes: https://github.com/github/renaming )

TrevorFSmith commented 4 years ago

Please don't change the immersive-web-weekly repo over to main. I started out using that but GitHub depends on master/docs/ to serve immersivewebweekly.com and there's currently no way to serve main/docs/, only a separate branch if there is no master.

Hopefully GitHub will eventually make it possible to serve a site from /docs/ from the default branch (no matter its name) but they're not there, yet.

lazerwalker commented 4 years ago

For what it's worth, it's possible/straight-forward to set up a minimal GitHub Action that deploys a given directory in the current branch to GitHub Pages whenever new commits are pushed.

I suspect it's not worth adding that deployment complexity now rather than waiting for GH to finish their default branch migration work, but throwing out that I'm happy to contribute the time to get that infrastructure in place if it's desired.

himorin commented 3 years ago

hi, sorry that I've left this untouched for long. github added a feature to choose a branch for github pages other than gh-pages or master, so I think we can go ahead for this point. I suppose mass update at one time over all repository might be better for participants (not to make confusion between repositories), and also we need to take some time for announcement. how do you all think?

himorin commented 3 years ago

finished all, and see no issue. closing this.