Skip to content

chore: require atuin doctor in issue form#1872

Merged
ellie merged 1 commit intomainfrom
ellie/require-doctor
Mar 13, 2024
Merged

chore: require atuin doctor in issue form#1872
ellie merged 1 commit intomainfrom
ellie/require-doctor

Conversation

@ellie
Copy link
Member

@ellie ellie commented Mar 13, 2024

Checks

  • I am happy for maintainers to push small adjustments to this PR, to speed up the review cycle
  • I have checked that there are no existing pull requests for the same thing

@ellie ellie merged commit 11c0dfc into main Mar 13, 2024
@ellie ellie deleted the ellie/require-doctor branch March 13, 2024 13:41
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.

1 participant