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

Store specification build outputs in git #414

Open
annevk opened this issue Mar 1, 2023 · 3 comments
Open

Store specification build outputs in git #414

annevk opened this issue Mar 1, 2023 · 3 comments

Comments

@annevk
Copy link
Member

annevk commented Mar 1, 2023

Having all our generated standards in git would help with issues such as speced/bikeshed#2483 and would also help with reviewing changes such as when the W3C logo is added to certain Review Drafts.

Perhaps that should be a separate repository from this one, but filing it here for now.

@tabatkins
Copy link
Contributor

I suggest setting up the server's folder structure as the working directory of a bare repo, then just cronning a commit once a day or something. I set up my own website this way and have some instructions at https://www.xanthir.com/b4or0. You can also push this to github if you want to make it more easily publicly accessible.

@annevk
Copy link
Member Author

annevk commented Mar 1, 2023

cc @foolip @sideshowbarker

@tabatkins
Copy link
Contributor

Hm actually a bare repo probably isn't what you want - you're not gonna use git to publish to the server, you just want to snapshot the server to git regularly.

So you probably then just want to set up a normal repo, either using the server's web folder (hiding the .git folder from being served), or to the side and marking the web folder as the working tree, then cron a regular commit + push to GH.

I do something like for a different part of my website (my recipe database, which is updated via the site itself but mirrored to GH for safekeeping), and just have a cron command that looks like:

> cd /home/protected/db/recipes && git commit -am "update" && GIT_SSH_COMMAND='ssh -i /home/private/recipe-db_ssh/sshkey' git push origin master

This does rely on the GH being purely a mirror, never being pushed to, otherwise you'll need to manually pull from the server side to get back up to date. (or do a force push and just blow away any changes that accidentally get made at the GH side)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

No branches or pull requests

2 participants