Skip to content

add git tools so ChatGPT will be okay with comitting/pushing/PRing#23

Merged
aviramha merged 1 commit intomainfrom
git_tools
Mar 31, 2026
Merged

add git tools so ChatGPT will be okay with comitting/pushing/PRing#23
aviramha merged 1 commit intomainfrom
git_tools

Conversation

@aviramha
Copy link
Copy Markdown
Member

No description provided.

@aviramha aviramha merged commit 7c20a5f into main Mar 31, 2026
1 check passed
@aviramha aviramha deleted the git_tools branch March 31, 2026 14:46
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