Skip to content

Conversation

@veitveit
Copy link
Member

@veitveit veitveit commented Dec 8, 2025

Summary

Include detailed instructions in GH issue.

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 Adding Github topics not that easy #87

@github-actions
Copy link

github-actions bot commented Dec 8, 2025

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

Copy link
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

This PR enhances the GitHub issue generation for missing EDAM topics by adding detailed instructions on how to add topics to a repository. It also improves the normalization of EDAM terms to ensure compliance with GitHub topic rules.

  • Improved _normalize_edam_term function to strip non-alphanumeric characters (except hyphens) and handle multiple consecutive hyphens
  • Added comprehensive instructions in generated GitHub issues with three methods: GitHub CLI, GitHub API via curl, and web UI
  • Added re module import to support enhanced term normalization

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@github-actions
Copy link

github-actions bot commented Dec 8, 2025

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

@veitveit veitveit requested a review from thatmariia December 8, 2025 08:31
@thatmariia thatmariia merged commit 6693ee5 into dev Dec 10, 2025
3 of 4 checks passed
@thatmariia thatmariia deleted the feat/add_gh_topics branch December 10, 2025 15:48
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.

Adding Github topics not that easy

3 participants