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

chore: rename documentation/ folder to development/ #4505

Merged
merged 1 commit into from
Jan 28, 2025

Conversation

ivarni
Copy link
Contributor

@ivarni ivarni commented Jan 28, 2025

we will be using a simpler format for examples that are to be used for documentation purposes in the portal, leaving these to solely be used by the dev-server (and maybe in time replaced by storybook)

@ivarni ivarni requested a review from a team as a code owner January 28, 2025 11:45
@fremtind-bot
Copy link
Collaborator

fremtind-bot commented Jan 28, 2025

Forhåndsvisning: https://jokul.fremtind.no/preview/rename-documentation-folder/
🔍 Commit: 90ef4f6

Forhåndsvisningen blir tilgjengelig innen et par minutter. Den fjernes automatisk når pull requesten lukkes.

fremtind-bot added a commit that referenced this pull request Jan 28, 2025
@ivarni ivarni force-pushed the rename-documentation-folder branch from 0337cff to ac67393 Compare January 28, 2025 12:11
we will be using a simpler format for examples that are
to be used for documentation purposes in the portal, leaving
these to solely be used by the dev-server (and maybe in time
replaced by storybook)
@ivarni ivarni force-pushed the rename-documentation-folder branch from ac67393 to 578d9aa Compare January 28, 2025 12:12
fremtind-bot added a commit that referenced this pull request Jan 28, 2025
fremtind-bot added a commit that referenced this pull request Jan 28, 2025
@ivarni ivarni enabled auto-merge January 28, 2025 14:22
@ivarni ivarni added this pull request to the merge queue Jan 28, 2025
Merged via the queue into main with commit fbd4bde Jan 28, 2025
9 checks passed
@ivarni ivarni deleted the rename-documentation-folder branch January 28, 2025 14:43
github-actions bot pushed a commit that referenced this pull request Jan 28, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

3 participants