Skip to content

cli-plugins/manager: add IsPluginCommand(() utility - #3796

Merged
thaJeztah merged 1 commit into
docker:masterfrom
thaJeztah:add_is_plugincommand_utility
Sep 30, 2022
Merged

cli-plugins/manager: add IsPluginCommand(() utility#3796
thaJeztah merged 1 commit into
docker:masterfrom
thaJeztah:add_is_plugincommand_utility

Conversation

@thaJeztah

Copy link
Copy Markdown
Member

This makes it more convenient to check if a command is a plugin-stub

- A picture of a cute animal (not mandatory but encouraged)

This makes it more convenient to check if a command is a plugin-stub
Signed-off-by: Sebastiaan van Stijn <github@gone.nl>
@thaJeztah
thaJeztahforce-pushed the add_is_plugincommand_utility branch from 2374651 to 90f1238CompareSeptember 30, 2022 00:24
@thaJeztah
thaJeztah marked this pull request as ready for review September 30, 2022 00:24
@codecov-commenter

codecov-commenter commented Sep 30, 2022

Copy link
Copy Markdown

Codecov Report

❗ No coverage uploaded for pull request base (master@a496a7d). Click here to learn what that means.
The diff coverage is 37.50%.

Additional details and impacted files
@@ Coverage Diff @@## master #3796 +/- ##
=========================================
Coverage ? 59.29% =========================================
Files ? 288 Lines ? 24643 Branches ? 0 =========================================
Hits ? 14612 Misses ? 9161 Partials ? 870 

@thaJeztah
thaJeztah merged commit fed9364 into docker:masterSep 30, 2022
@thaJeztah
thaJeztah deleted the add_is_plugincommand_utility branch September 30, 2022 09:58
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

@thaJeztah@codecov-commenter@vvoland