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.

Reply via email to