f84fff1 PR#4104: Add external koji dev environments' links

Merged and Committed by tkopecek 2 years ago
    PR#4104: Add external koji dev environments' links
    
    Merges #4104
    https://pagure.io/koji/pull-request/4104
    
    Fixes: #1558
    https://pagure.io/koji/issue/1558
    Create a basic Vagrant development environment