Migrated the Push server to TypeScript to avoid some pesky type errors! Good stuff \o/
1061889
1062123