PHANTOM
🇮🇳 IN
Skip to content

Fix capitalization of GitHub org#235

Merged
weinand merged 1 commit intomicrosoft:mainfrom
friederbluemle:fix-caps
Oct 27, 2021
Merged

Fix capitalization of GitHub org#235
weinand merged 1 commit intomicrosoft:mainfrom
friederbluemle:fix-caps

Conversation

@friederbluemle
Copy link
Contributor

github.com/Microsoft -> github.com/microsoft

`github.com/Microsoft` -> `github.com/microsoft`
@weinand weinand self-assigned this Aug 7, 2020
@weinand weinand added this to the August 2020 milestone Aug 7, 2020
@weinand weinand modified the milestones: August 2020, September 2020 Sep 4, 2020
@weinand weinand modified the milestones: September 2020, November 2020 Oct 30, 2020
Base automatically changed from master to main February 26, 2021 09:42
@weinand weinand merged commit 01c6606 into microsoft:main Oct 27, 2021
@weinand weinand modified the milestones: November 2020, October 2021 Oct 27, 2021
@weinand
Copy link
Contributor

weinand commented Oct 27, 2021

thanks for the PR!

@friederbluemle friederbluemle deleted the fix-caps branch October 27, 2021 16:29
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.

2 participants