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: animated banner #790

Merged
merged 4 commits into from
Aug 7, 2024
Merged

docs: animated banner #790

merged 4 commits into from
Aug 7, 2024

Conversation

laralaske
Copy link
Contributor

No description provided.

@laralaske laralaske requested a review from katexochen as a code owner August 6, 2024 15:19
@CLAassistant
Copy link

CLAassistant commented Aug 6, 2024

CLA assistant check
All committers have signed the CLA.

Copy link

github-actions bot commented Aug 6, 2024

PR Preview Action v1.4.7
Preview removed because the pull request was closed.
2024-08-07 13:24 UTC

@katexochen katexochen added the no changelog PRs not listed in the release notes label Aug 7, 2024
@katexochen katexochen changed the title Banner change to new gif docs: animated banner Aug 7, 2024
@katexochen
Copy link
Member

katexochen commented Aug 7, 2024

Do we want to keep the old version? It's not referenced anywhere now.

@laralaske
Copy link
Contributor Author

Do we want to keep the old version? It's not referenced anywhere now.

ah no, deleted

@katexochen
Copy link
Member

@laralaske could you sign the cla?

@laralaske
Copy link
Contributor Author

@laralaske could you sign the cla?

Sorry! Yes, done

@katexochen katexochen merged commit e8d4ea4 into main Aug 7, 2024
10 checks passed
@katexochen katexochen deleted the Banner-change branch August 7, 2024 13:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no changelog PRs not listed in the release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants