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.

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

Jump to bottom

Retire web demo #157

Closed
infinisil opened this issue Mar 13, 2024 · 3 comments
Closed

Retire web demo #157

infinisil opened this issue Mar 13, 2024 · 3 comments
Assignees
@Sereja313

Comments

@infinisil
Copy link
Member

infinisil commented Mar 13, 2024 •
edited
Loading

There's a web demo for nixfmt on https://nixfmt.serokell.io/

As this is becoming the new official Nix formatter (see #153), I don't think it is necessary to maintain that page anymore. Not having to do that also removes a bunch of overhead on the new official formatter team.

If Serokell still wants to maintain such a web demo, it would be best for that to happen in a Serokell-owned repo instead (since this one will be transferred to the NixOS organisation, see #155)

Otherwise my recommendation is to set up a redirect from the website to this repository (which GitHub will automatically redirect to the new repository once transferred).

Ping @Sereja313
@Sereja313
Copy link
Member

We decided to keep the site for a few more months. So i'll move all the nixfmt-webdemo logic into a separate repo and then get rid of everything related to it in the nixfmt repo.

@Sereja313 Sereja313 self-assigned this Mar 13, 2024
infinisil added a commit that referenced this issue Mar 13, 2024
@infinisil
ci: remove deploy and fix after repo transfer
ca3cfb6 
The web demo will be retired from this repo soon anyways, see #157

I believe it also relied on using Serokell's self-hosted action runners, which
we can't use anymore now that the repo has been transferred, so we use
the default ubuntu-latest instead.
@infinisil infinisil mentioned this issue Mar 13, 2024
Merged
infinisil added a commit that referenced this issue Mar 13, 2024
@infinisil
ci: remove deploy and fix after repo transfer
d5e91da 
The web demo will be retired from this repo soon anyways, see #157

I believe it also relied on using Serokell's self-hosted action runners, which
we can't use anymore now that the repo has been transferred, so we use
the default ubuntu-latest instead.
@infinisil
Copy link
Member Author

Looks like CI isn't working anymore after the transfer due to the self-hosted runners, so I cleaned up CI in #160

Shouldn't be a problem to remove it already since everything's in the git history

@infinisil
Copy link
Member Author

Now implemented with #162

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

@Sereja313 Sereja313

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@infinisil @Sereja313