The engineering team sketched them out by hand and were later translated into vectors by the design team.

The vector graphics were made in Sketch (https://www.sketchapp.com). Another popular alternative at GitHub is Figma (https://www.figma.com/).