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