My Use case
I build the whole website environment in Docker, including installing a specific version of Grav and plugins. I need to have predictable outputs and install static versions to avoid unexpected problems.

My problem
My latest Docker image build failed because a plugin updated and requires the latest version of Grav to install. This blocks the installation of all plugins and breaks my site. Skipping the failing plugin is not a solution to this problem since there will still be a missing dependency.

Right now the only way we have to install a plugin with a specific version is to use the direct-install command that requires the full URL of the plugin. This reduces the readability of my Dockerfile.

What I propose
Having a simple way we can select a version when we install a plugin would fix this issue. The install command could look like gpm install plugin:1.2.3 where 1.2.3 refers to the release tag on the plugin's repository.