3 Commits

Author	SHA1	Message	Date
Roey Darwish Dror	5d168bbf0d	pip should be executed via the regular python executable (#913) ... Fixes #910	2022-05-01 17:47:14 +00:00
Roey Darwish Dror	14809322b4	Vagrant boxes (#905)	2022-04-23 12:09:54 +00:00
Roey Darwish Dror	5166f651ea	Don't fail if there are no Github extensions (fix #877)	2022-03-29 03:43:13 +03:00