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

docs: gif #3504

Merged
merged 1 commit into from Oct 27, 2022
Merged

docs: gif #3504

merged 1 commit into from Oct 27, 2022

Conversation

caarlos0
Copy link
Member

@caarlos0 caarlos0 commented Oct 27, 2022

gif powered by vhs cc/ @maaslalani

Signed-off-by: Carlos A Becker <caarlos0@users.noreply.github.com>
@caarlos0 caarlos0 self-assigned this Oct 27, 2022
@pull-request-size pull-request-size bot added the size/XS Denotes a PR that changes 0-9 lines, ignoring generated files. label Oct 27, 2022
@caarlos0 caarlos0 added the docs A problem or enhancement in documentation label Oct 27, 2022
@caarlos0 caarlos0 marked this pull request as ready for review Oct 27, 2022
@caarlos0 caarlos0 merged commit c71d8ec into main Oct 27, 2022
6 checks passed
@caarlos0 caarlos0 deleted the gifs branch Oct 27, 2022
@github-actions github-actions bot added this to the v1.13.0 milestone Oct 27, 2022
@maaslalani
Copy link

Nice one! So cool to see!

@github-actions
Copy link
Contributor

github-actions bot commented Dec 5, 2022

This pull request has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Dec 5, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
docs A problem or enhancement in documentation size/XS Denotes a PR that changes 0-9 lines, ignoring generated files.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants