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.

Sign up for GitHub

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

Jump to bottom

Docs tweaks #1202

Merged
merged 4 commits into from
Sep 15, 2021
Merged

Docs tweaks #1202

merged 4 commits into from
Sep 15, 2021

Conversation

gj
Copy link
Member

@gj gj commented Sep 15, 2021 •
edited
Loading

Before

image

After

image

@github-actions
Copy link

github-actions bot commented Sep 15, 2021 •
edited
Loading

CLA Assistant Lite bot All contributors have signed the CLA ✍️ ✅

@gj gj added the Docs Apply label to PRs that change docs. label Sep 15, 2021
@gj gj enabled auto-merge (squash) September 15, 2021 18:10
@gj gj merged commit 79f2ae0 into main Sep 15, 2021
@gj gj deleted the gj/docs-tweaks branch September 15, 2021 18:16
@github-actions github-actions bot locked and limited conversation to collaborators Sep 15, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@samscott89 samscott89 samscott89 approved these changes

@dhatch dhatch Awaiting requested review from dhatch

Assignees
No one assigned
Labels
Docs Apply label to PRs that change docs.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@gj @samscott89