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.

Sign up for GitHub

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

Remove js from repo? #39

Open

edemaine opened this issue Apr 15, 2022 · 0 comments · May be fixed by #47

Owner

edemaine commented Apr 15, 2022 •

edited

I think GitHub Pages and NPM are enough places to put the compiled JavaScript; the .js code doesn't need to be in the main repo.

However, GitHub Pages is currently published from the root repo, so this would require changing it to a branch with the compiled js.

edemaine changed the title ~~Remove js from repo~~ Remove js from repo?

edemaine linked a pull request

that will close this issue

Port source from CoffeeScript over to Civet #47

Open

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