Re: [vpp-dev] extras/ in repo

-dev] extras/ in repo current situation in the repo is quite messy when it comes to different “extras” we have so I would like to propose following change: I would like to add extras/ top level dir with different non-core stuff. For example extras ├── deb ├── docker ├── emacs ├── rpm ├── suse

[vpp-dev] extras/ in repo

current situation in the repo is quite messy when it comes to different “extras” we have so I would like to propose following change: I would like to add extras/ top level dir with different non-core stuff. For example extras ├── deb ├── docker ├── emacs ├── rpm ├── suse ├── vagrant └── vim a