Skip to content

Add .zsh-theme to shellscript extensions#15489

Merged
aeschli merged 1 commit intomicrosoft:masterfrom
itiut:add-zsh-theme-to-shellscript-extensions
Nov 15, 2016
Merged

Add .zsh-theme to shellscript extensions#15489
aeschli merged 1 commit intomicrosoft:masterfrom
itiut:add-zsh-theme-to-shellscript-extensions

Conversation

@itiut
Copy link
Contributor

@itiut itiut commented Nov 15, 2016

The .zsh-theme extension is used for oh-my-zsh theme files.

@mention-bot
Copy link

@itiut, thanks for your PR! By analyzing the history of the files in this pull request, we identified @gontadu, @egamma and @aeschli to be potential reviewers.

@msftclas
Copy link

Hi @itiut, I'm your friendly neighborhood Microsoft Pull Request Bot (You can call me MSBOT). Thanks for your contribution!
You've already signed the contribution license agreement. Thanks!
We will now validate the agreement and then real humans will evaluate your PR.

TTYL, MSBOT;

@aeschli aeschli merged commit 2804755 into microsoft:master Nov 15, 2016
@aeschli
Copy link
Contributor

aeschli commented Nov 15, 2016

Thanks @itiut !

@aeschli aeschli added this to the November 2016 milestone Nov 15, 2016
@aeschli aeschli added the languages-basic Basic language support issues label Nov 15, 2016
@itiut itiut deleted the add-zsh-theme-to-shellscript-extensions branch November 17, 2016 11:12
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

languages-basic Basic language support issues

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants