Rosen Penev 836b4e1c73 github-ci: add --force-removal-of-dependent-packages ... Without this option, a package gets installed with its dependencies but those do not get removed, causing issues later on with other packages. Signed-off-by: Rosen Penev <rosenp@gmail.com>		2020-09-19 00:16:45 -07:00
..
workflows	github-ci: add --force-removal-of-dependent-packages	2020-09-19 00:16:45 -07:00
issue_template	repo: Add more information to the issue template	2019-04-07 20:18:55 +00:00
pull_request_template	github: adapt templates	2018-01-27 11:24:43 +08:00