search

9fans / plan9port

Plan 9 from User Space
https://9fans.github.io/plan9port/
Other
1.6k stars 318 forks source link

RFC Update 9fans.github.io to Use Git Submodules #656

Closed aelnosu closed 4 weeks ago

aelnosu commented 4 weeks ago

Hi

I am looking for feedback on using git submodule to replace certain folder in the 9fans.github.io's GitHub repo.

This change will:

  1. Replace the usr/local/plan9 folder to be a submodule that is linked to the main plan9port repo.

  2. (This may or may not be possible) Replace the man folder to be a submodule that is linked to the man folder in the main plan9port repo.

  3. Add a GitHub action that will automatically update the submodules on a schedule.

Thanks

--

Yours Eason Lu