Travis CI got acquired by Idera in 2019 (https://news.ycombinator.com/item?id=18978251 https://news.ycombinator.com/item?id=18978251) then a month later laid of

Travis CI got acquired by Idera in 2019 (https://news.ycombinator.com/item?id=18978251 https://news.ycombinator.com/item?id=18978251) then a month later laid off senior engineer staff (https://news.ycombinator.com/item?id=19218036 https://news.ycombinator.com/item?id=19218036).