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

update Hackage Matrix link #1004

Open
wants to merge 1 commit into
base: central-server
Choose a base branch
from

Conversation

ulysses4ever
Copy link
Contributor

No description provided.

@andreasabel
Copy link
Member

But I ain't working yet, the matrix.hackage.org.
At least it does not display anything sensible...

Note how it blends the package I visited first (Agda) with the once I am viewing currently (MissingH):
Screenshot 2022-02-12 at 18 06 35

@ulysses4ever
Copy link
Contributor Author

Hm, this is sad. I tried it on one package (async), and simply changing the URL did seem to show something reasonable (I may be wrong of course).

I think if it shows something reasonable sometimes, it's already improvement upon the current state. But I understand (a) it may not, (b) you may disagree. In either case, please, feel free to close this PR.

@andreasabel
Copy link
Member

Well, in the long run, we are likely going this way. But maybe we should hold back a little until matrix.hackage is working reasonably.

@gbaz
Copy link
Contributor

gbaz commented Feb 13, 2022

cc: @davean

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

Successfully merging this pull request may close these issues.

3 participants