user cloud.debian.org@packages.debian.org usercategory cloud-name * Cloud Name [tag=] + Amazon Web Services [aws] + Microsoft Azure [azure] + Google Compute Engine [gce] + Openstack [openstack] + Oracle [oracle] + Vagrant boxes [vagrant] + Generic / Private [] usercategory normal * status * issue-type * cloud-name * severity thanks I am extending the user tags with a Vagrant user tag, as was proposed in the last cloud meeting.