Skip to content

Feature/git subrepo#768

Merged
texhnolyze merged 2 commits intomainfrom
feature/git-subrepo
Mar 12, 2026
Merged

Feature/git subrepo#768
texhnolyze merged 2 commits intomainfrom
feature/git-subrepo

Conversation

@texhnolyze
Copy link
Contributor

Summary

Proposed changes

Related issues

Checklist

  • Run pixi run build
  • Write documentation
  • Test on your machine
  • Test on the robot
  • Create issues for future work
  • Triage this PR and label it

@github-project-automation github-project-automation bot moved this to 🆕 New in Software Mar 12, 2026
@texhnolyze texhnolyze requested a review from Flova March 12, 2026 01:41
@texhnolyze texhnolyze self-assigned this Mar 12, 2026
@texhnolyze texhnolyze requested a review from jaagut March 12, 2026 01:54
@github-project-automation github-project-automation bot moved this from 🆕 New to 👀 In review in Software Mar 12, 2026
Copy link
Member

@Flova Flova left a comment

Choose a reason for hiding this comment

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

Wait it seems to not exclude the team com in the ci

@texhnolyze texhnolyze force-pushed the feature/git-subrepo branch from 4d8b4e4 to da1d16b Compare March 12, 2026 07:42
@texhnolyze texhnolyze force-pushed the feature/git-subrepo branch from da1d16b to ad992c4 Compare March 12, 2026 07:47
@texhnolyze texhnolyze merged commit af4b87f into main Mar 12, 2026
2 checks passed
@texhnolyze texhnolyze deleted the feature/git-subrepo branch March 12, 2026 07:53
@github-project-automation github-project-automation bot moved this from 👀 In review to ✅ Done in Software Mar 12, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Status: ✅ Done

Development

Successfully merging this pull request may close these issues.

2 participants