Skip to content

Conversation

@thatmariia
Copy link
Member

Summary

Combine similar functions in a simple policy: pick biotools over GitHub when mapping biotools -> GitHub.
Currently used by description and homepage.
Also make homepage a bit safer.

Type

  • feat
  • fix
  • docs
  • chore
  • refactor
  • tests
  • hotfix
  • exp

Checklist

  • Rebased on latest dev
  • Passes all pre-commit hooks (poetry run fmt and poetry run lint)
  • Docs updated if needed
  • Tests added/updated if needed
  • Linked to an issue if applicable: Closes #ISSUE_NUMBER

@github-actions
Copy link

Docs preview ready: https://bio-tools.github.io/biohackathon2025/

@thatmariia thatmariia merged commit c6bd642 into dev Nov 29, 2025
3 of 4 checks passed
@thatmariia thatmariia deleted the chore/policy branch November 29, 2025 09:52
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