Skip to content

Improve message printed when the site starts #1865

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

Merged
merged 1 commit into from
Mar 19, 2024

Conversation

Kobzol
Copy link
Contributor

@Kobzol Kobzol commented Mar 19, 2024

The distinction between commits and artifacts is confusing (local compiler versions were actually under artifacts).

@workingjubilee
Copy link
Member

Seems good to me. It would be fine to say "N things, of which X are this and Y are that", I think, but it's not clear that's actually more informative.

@Kobzol
Copy link
Contributor Author

Kobzol commented Mar 19, 2024

If you run the website locally, you will usually not have any commits in the DB anyway (unless you have downloaded a DB dump from the live server). And for the user of the website, the distinction isn't actually important, for the compare page both commits and artifacts are mostly equal. So I'd opt into using the simpler variant with a single number.

@workingjubilee
Copy link
Member

If the distinction is mostly useless even to those who might care about it, that makes sense, yeah!

The distinction between commits and artifacts is confusing (local compiler versions were actually under artifacts).
@Kobzol Kobzol force-pushed the cli-improve-message branch from 5cd7b58 to e2ee3f6 Compare March 19, 2024 13:02
@Kobzol Kobzol enabled auto-merge March 19, 2024 13:02
@Kobzol Kobzol merged commit 5b45b37 into rust-lang:master Mar 19, 2024
@Kobzol Kobzol deleted the cli-improve-message branch March 19, 2024 13:13
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