Paul Hinze 0fef7cc416 Port push plugins ... This uses the new Push plugin support added to the plugin SDK in https://github.com/hashicorp/vagrant-plugin-sdk/pull/106 to make the following changes: * The plugin manager on the Go side now registers push plugins * The the _remote_ plugin manager on the Ruby side now calls over to the go side to get push plugins * All the wiring is hooked up such that when a push plugin is replaced with its remote GRPC-client-wielding equivalent, the messages are ferried around.		2022-04-25 12:26:21 -05:00
..
config	Port push plugins	2022-04-25 12:26:21 -05:00
plugin.rb	Add warning if vagrant-triggers plugin is installed	2018-04-26 14:59:09 -07:00