search

gnustep / gnustep.github.io

GNUstep website hosted on GitHub
7 stars 7 forks source link

Update navbar for all pages #9

Closed mitchr closed 2 years ago

mitchr commented 2 years ago

Closes #3

ivucica commented 2 years ago

Hey Greg,

I'd like to understand this better: are we switching to using this static-site repository right away? This affects what I'm deploying on the selfhosted server.

I know we're redirecting as a TEMPORARY measure, but reusing .github.io is not sustainable in combination with self-hosting. Self-hosting still has PHP code running on paths that CANNOT be combined with a CNAME to .github.io. This static site is already not equivalent to what we have on the old host, are we permanently switching to this?

If we plan on fully switching away from what we had on the existing site, and switching to a fully static site, I should be told. Otherwise we should not be taking PRs.

Either someone should volunteer to merge the two sites, or we decide to deprecate the existing site.

On Sat, Sep 10, 2022 at 8:02 PM Gregory Casamento @.***> wrote:

Merged #9 https://github.com/gnustep/gnustep.github.io/pull/9 into master.

— Reply to this email directly, view it on GitHub https://github.com/gnustep/gnustep.github.io/pull/9#event-7361311799, or unsubscribe https://github.com/notifications/unsubscribe-auth/AADUTHHSDO4QZBUJAKQUS3TV5TLMBANCNFSM6AAAAAAQJNBMWA . You are receiving this because you are subscribed to this thread.Message ID: @.***>

gcasa commented 2 years ago

Hey Ivan,

Moving to gnustep.github.io was only to make sure that we weren't offline for longer than needed. It is a temporary measure and thus NOT permanent. You are in charge of the switch, so how and what the new site looks like from an architectural standpoint is completely up to you.

GC P.S. the PR that was merged was very minor, so I won't even touch on that point at the moment.

ivucica commented 2 years ago

Noted. It's just important we pick one site and go with it. I'm unlikely to spend time working on merging the two sites, so if we merge too many things on github.io version, we should deploy that on www instead.

On Mon, Sep 12, 2022 at 9:52 PM Gregory Casamento @.***> wrote:

Hey Ivan,

Moving to gnustep.github.io was only to make sure that we weren't offline for longer than needed. It is a temporary measure and thus NOT permanent. You are in charge of the switch, so how and what the new site looks like from an architectural standpoint is completely up to you.

GC P.S. the PR that was merged was very minor, so I won't even touch on that point at the moment.

— Reply to this email directly, view it on GitHub https://github.com/gnustep/gnustep.github.io/pull/9#issuecomment-1244451594, or unsubscribe https://github.com/notifications/unsubscribe-auth/AADUTHEGNGPC7YFQ6UTHUO3V56JZFANCNFSM6AAAAAAQJNBMWA . You are receiving this because you commented.Message ID: <gnustep/gnustep. @.***>