Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Tools: Added name to GIT_Success.txt #28249

Closed
wants to merge 1 commit into from

Conversation

amrhero108
Copy link

No description provided.

@rmackay9
Copy link
Contributor

Hi @amrhero108,

Txs for this and welcome!
Could you prefix the commit with "Tools:"? .. and just to be clear, I meant he commit title, not the PR title.

@peterbarker
Copy link
Contributor

@amrhero108 still going to do this?

@peterbarker
Copy link
Contributor

@amrhero108 I'm going to cloe this one now. Feel free to re-open this if you want to pursue (or open another PR)

@peterbarker peterbarker closed this Nov 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants