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.

Sign up for GitHub

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

Jump to bottom

Plugin in config files #2166

Merged
merged 3 commits into from Sep 8, 2021
Merged

Plugin in config files #2166

merged 3 commits into from Sep 8, 2021

Conversation

jneira
Copy link
Member

@jneira jneira commented Sep 7, 2021 •
edited by gitpod-io bot

List the config files where a plugin should be added

@jneira
Plugin in config files
a02651a 
List the config files where a plugin should be added
@jneira jneira mentioned this pull request Sep 7, 2021
Merged
@jneira @pepeiborra
Correct grammar
35ab7c9 
Co-authored-by: Pepe Iborra <pepeiborra@gmail.com>
@jneira jneira added the merge me Label to trigger pull request merge label Sep 7, 2021
@isovector
Copy link
Collaborator

Muchas gracias!

@mergify mergify bot merged commit baaee98 into master Sep 8, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@pepeiborra pepeiborra pepeiborra approved these changes

Assignees
No one assigned
Labels
merge me Label to trigger pull request merge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@jneira @isovector @pepeiborra