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

Broken link to original RUNOFF repository #1

Open
Alhadis opened this issue Mar 14, 2016 · 1 comment
Open

Broken link to original RUNOFF repository #1

Alhadis opened this issue Mar 14, 2016 · 1 comment

Comments

@Alhadis
Copy link

Alhadis commented Mar 14, 2016

From groff_filenames.7:

All available RUNOFF files are now kept in the internet at an archive on github.
Use the command-line call $ git clone git@github.com:RUNOFF/RUNOFF.git
for getting this archive (without the leading dollar).

Not sure what happened, but the repository in question doesn't appear to exist anymore.

phoenix:Desktop johngardner$ git clone git@github.com:RUNOFF/RUNOFF.git
Cloning into 'RUNOFF'...
ERROR: Repository not found.
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.
phoenix:Desktop johngardner$ 
@Alhadis Alhadis changed the title Link to original RUNOFF repository broken Broken link to original RUNOFF repository Mar 14, 2016
@Alhadis
Copy link
Author

Alhadis commented Sep 6, 2016

@bwarken If you push a change to this repo, it should (hopefully) force a reindex of the language statistics. RUNOFF is now a supported/recognised language on GitHub, but the statbar won't show the updated stats until the repo's cache is busted.

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

No branches or pull requests

1 participant