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

doc: add Zoomin info banner to doc #12381

Merged
merged 1 commit into from
Oct 5, 2023

Conversation

b-gent
Copy link
Contributor

@b-gent b-gent commented Sep 20, 2023

Add a banner on top informing about the transition to the Zoomin documentation platform.

@github-actions github-actions bot added changelog-entry-required Update changelog before merge. Remove label if entry is not needed or already added. doc-required PR must not be merged without tech writer approval. labels Sep 20, 2023
@NordicBuilder
Copy link
Contributor

You can find the documentation preview for this PR at this link. It will be updated about 10 minutes after the documentation build succeeds.

Note: This comment is automatically posted by the Documentation Publishing GitHub Action.

doc/_utils/utils.py Outdated Show resolved Hide resolved
doc/_utils/utils.py Outdated Show resolved Hide resolved
doc/_utils/utils.py Outdated Show resolved Hide resolved
@b-gent b-gent force-pushed the add_banner_about_zoomin branch 2 times, most recently from 311341a to af671a3 Compare September 21, 2023 13:31
@b-gent b-gent force-pushed the add_banner_about_zoomin branch 2 times, most recently from 9d8effb to ace8b23 Compare October 3, 2023 12:46
@b-gent b-gent marked this pull request as ready for review October 4, 2023 09:06
Add a banner on top informing about the transition to the
Zoomin documentation platform.

Signed-off-by: Bartosz Gentkowski <bartosz.gentkowski@nordicsemi.no>
@NordicBuilder
Copy link
Contributor

Test specification

CI/Jenkins/NRF

  • Skipped

CI/Jenkins/integration

  • Skipped

Note: This message is automatically posted and updated by the CI

@b-gent b-gent removed the DNM label Oct 5, 2023
@rlubos rlubos merged commit d0e6d51 into nrfconnect:main Oct 5, 2023
13 of 14 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
changelog-entry-required Update changelog before merge. Remove label if entry is not needed or already added. doc-required PR must not be merged without tech writer approval.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants