Skip to content

docs(catalogs): make the fetching of repos use warning to skip not found repos - #908

Merged
finetjul merged 2 commits into
Kitware:masterfrom
UlysseDurand:catalogs-errors-to-warnings
Aug 20, 2026
Merged

docs(catalogs): make the fetching of repos use warning to skip not found repos#908
finetjul merged 2 commits into
Kitware:masterfrom
UlysseDurand:catalogs-errors-to-warnings

Conversation

@UlysseDurand

Copy link
Copy Markdown
Contributor

Also increase the number of fetched topics
Also change FOAMFlask for FOAMTrame in external_repos.yml
Also remove BioSET_Visualizer in external_repos.yml which caused the fail of the CI because the repo doesn't exist anymore

Comment thread docs/vitepress/fetch_repos.py Outdated
Comment thread docs/vitepress/repos.json Outdated
@UlysseDurand
UlysseDurand force-pushed the catalogs-errors-to-warnings branch from 3e57baa to 4022b5d Compare August 20, 2026 12:19
…und repos

Also increase the number of fetched topics
@UlysseDurand
UlysseDurand force-pushed the catalogs-errors-to-warnings branch from 4022b5d to a1e1100 Compare August 20, 2026 12:26
Comment thread docs/vitepress/fetch_repos.py Outdated


def github_action_formatwarning(message, category, filename, lineno, line=None):
# Escape any colons or commas in the message

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

un-necessary comment

@finetjul finetjul left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@finetjul
finetjul merged commit 5536f0f into Kitware:master Aug 20, 2026
6 checks passed
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.

2 participants