Skip to content

Update references to the moved repository - #345

Merged
dweindl merged 1 commit into
PEtab-dev:mainfrom
dweindl:repo-move
Nov 9, 2026
Merged

dweindl merged 1 commit into
PEtab-dev:mainfrom
dweindl:repo-move

Conversation

@dweindl

@dweindl dweindl commented Nov 9, 2026

Copy link
Copy Markdown
Member

The repository moved to PEtab-dev/petab-benchmark-problems and the default branch changed from master to main. This updates:

  • repository URLs in INSTALL.md, CONTRIBUTING.md, the PR template, and pyproject.toml
  • the GitHub Pages URL in README.md (github.io URLs are not redirected after a transfer)
  • branch triggers in gh-pages.yml and simulate.yml, which would otherwise no longer run on push to the default branch
  • GITHUB_REPO / GITHUB_DEFAULT_BRANCH, used for links in the generated site
  • the repository link text in the site template

The project name in LICENSE, the logo alt text, and the pyproject.toml author entry are unchanged.

🤖 Generated with Claude Code

The repository moved to `PEtab-dev/petab-benchmark-problems` and the
default branch changed from `master` to `main`. Update URLs, the GitHub
Pages URL, workflow branch triggers, and `GITHUB_REPO` /
`GITHUB_DEFAULT_BRANCH` used for generated links.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@dweindl
dweindl marked this pull request as ready for review November 9, 2026 11:46

@dilpath dilpath 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.

Thanks!

@dweindl
dweindl merged commit 4990095 into PEtab-dev:main Nov 9, 2026
3 checks passed
@dweindl
dweindl deleted the repo-move branch November 9, 2026 13:50
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