Re: [PATCH] ci: remove Travis CI