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

Website plumbing updates #816

Merged
merged 1 commit into from
Mar 14, 2019
Merged

Website plumbing updates #816

merged 1 commit into from
Mar 14, 2019

Conversation

timleslie
Copy link
Contributor

This PR improves the logic around which files we render to the website and how they're arranged in the nav bar.

@timleslie timleslie force-pushed the website-updates branch 4 times, most recently from df5e251 to c2b09a3 Compare March 13, 2019 06:36
.filter(({ path }) => `/${navGroup}/` !== path)
.map(node => {
return (
<li key={node.path} css={{}}>
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can remove the empty css={{}} prop here.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Joss is doing a big cleanup of this kind of thing in #823, so I'll leave this in for now so as not to add confusion to the upcoming merges.

@timleslie timleslie marked this pull request as ready for review March 14, 2019 06:19
@timleslie timleslie changed the title [WIP] Website plumbing updates Website plumbing updates Mar 14, 2019
@timleslie timleslie merged commit c552d69 into master Mar 14, 2019
@timleslie timleslie deleted the website-updates branch March 14, 2019 06:29
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.

2 participants