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

feat: support pass skip from command-line for maven-plugin #1729

Merged
merged 2 commits into from
Jun 6, 2023

Conversation

tisonkun
Copy link
Contributor

cc @nedtwigg

If this is acceptable, I'm glad to add a changelog entry if necessary.

@nedtwigg
Copy link
Member

Looks good to me! Add a changelog under ### Added and I'll be happy to merge.

@tisonkun
Copy link
Contributor Author

tisonkun commented Jun 5, 2023

@nedtwigg Thank you! I'll update this today.

BTW, can diffplug be an alternative to GitHub Desktop? I'm trying to use a Git client app to overcome some network issues and practice your advice in our first collaboration that I missed to push a local commit.

I encounter this issue desktop/desktop#1442 on GitHub Desktop and try to find an alternative - I don't know if this is the right place to ask this question, but I don't find other channels.

Signed-off-by: tison <wander4096@gmail.com>
@tisonkun
Copy link
Contributor Author

tisonkun commented Jun 5, 2023

Changelog updated.

@nedtwigg
Copy link
Member

nedtwigg commented Jun 6, 2023

can diffplug be an alternative to GitHub Desktop

That's exactly what it is! It's free too :). If you have more questions about it I would use: https://discuss.diffplug.com/top?period=all

@nedtwigg nedtwigg merged commit 4ac74e1 into diffplug:main Jun 6, 2023
@tisonkun tisonkun deleted the patch-1 branch August 30, 2023 06:16
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