Skip to content

chore: 🔧 add Jarl to extensions to match template - #151

Merged
lwjohnst86 merged 1 commit into
mainfrom
chore/add-jarl-to-recommended-extensio
Sep 3, 2026
Merged

lwjohnst86 merged 1 commit into
mainfrom
chore/add-jarl-to-recommended-extensio

Conversation

@lwjohnst86

Copy link
Copy Markdown
Member

Description

So that syncing is also matched.

Needs no review.

Checklist

  • Ran just run-all

@lwjohnst86
lwjohnst86 requested a review from signekb as a code owner September 3, 2026 19:13
@lwjohnst86
lwjohnst86 merged commit d4ee338 into main Sep 3, 2026
8 checks passed
@lwjohnst86
lwjohnst86 deleted the chore/add-jarl-to-recommended-extensio branch September 3, 2026 19:46
@github-project-automation github-project-automation Bot moved this from Todo to Done in Teaching development Sep 3, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

1 participant