repeat merge of check-installed-packages on GitHub