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

Add .zsh-theme to shellscript extensions #15489

Merged

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.

None yet

4 participants