On Thu, Jun 11, 2020 at 04:06:52PM +0500, ???? ??????? wrote: > pushing to github is not related to Travis. Those are different clouds:)
Sure but what I wanted to say was that travis seems to be the only point experiencing such difficulties and we don't know how it works nor what are the rules in place.
