Skip to content

Document "Using profiles" - #619

Merged
annejan merged 1 commit into
IJHack:mainfrom
buepro:main
Feb 22, 2023
Merged

Document "Using profiles"#619
annejan merged 1 commit into
IJHack:mainfrom
buepro:main

Conversation

@buepro

@buepro buepro commented Feb 11, 2023

Copy link
Copy Markdown
Contributor

The added paragraph shows how different git
repositories can be used in profiles.

Resolves: #545

The added paragraph shows how different git
repositories can be used in profiles.

Resolves: IJHack#545
@annejan
annejan merged commit b912ef7 into IJHack:main Feb 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Support multiple branches via "Profiles" feature

2 participants