Note for myself: test more than once before pushing commits