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

The new design for our beloved website 🎉 #25

Merged
merged 314 commits into from
Mar 29, 2019
Merged

The new design for our beloved website 🎉 #25

merged 314 commits into from
Mar 29, 2019

Conversation

allejo
Copy link
Member

@allejo allejo commented Mar 29, 2019

After ~9 months since the first commit, I think it's time

allejo and others added 30 commits November 12, 2018 15:59
All of these files still need descriptions and details for parameters
and help is welcome in future commits.
…h binaries at the exact same time). Also switch from 'format' to 'replace' filter for the version number.
- Display the discussion link on the main downloads page
@allejo allejo added enhancement needs review A PR is currently being reviewed or needs to be reviewed labels Mar 29, 2019
@allejo allejo self-assigned this Mar 29, 2019
@allejo allejo changed the title The new design for our beloved website 🎉 The new design for our beloved website 🎉 Mar 29, 2019
@allejo allejo added ready for merge Considered "ready" to be merged; allowing time before merge if anyone wants to jump in and removed needs review A PR is currently being reviewed or needs to be reviewed labels Mar 29, 2019
@allejo allejo merged commit dd97074 into master Mar 29, 2019
@allejo allejo deleted the redesign branch March 29, 2019 22:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement ready for merge Considered "ready" to be merged; allowing time before merge if anyone wants to jump in
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants