Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 50 million developers.
Sign up
Pinned
171 contributions in the last year
Contribution activity
May 2020
April 2020
- notpushkin/react-popover JavaScript
- notpushkin/stepmania C++
- notpushkin/com.stepmania.StepMania
- notpushkin/Simply-Love-SM5 Lua
- notpushkin/activitusbar JavaScript
- notpushkin/laserwave
- notpushkin/aiodocker Python
- notpushkin/docker-amend Python
- notpushkin/community HTML
- notpushkin/videojs-vast-vpaid JavaScript
Created a pull request in quietly-turning/Simply-Love-SM5 that received 4 comments
Ignore "-UNKNOWN" version suffix when checking compatibility
Flatpak (and maybe some other) builds have ProductVersion() reporting as 5.1.0-UNKNOWN. I'm pretty sure this is some build misconfiguration on the โฆ
Created an issue in Eloston/ungoogled-chromium that received 9 comments
Implement Push API using Mozilla's servers
In Chrome, Push API is implemented using FCM (a rebranding of GCM), which naturally doesn't work with Google's servers disabled. It might be an optโฆ

Formed in 2009, the Archive Team (not to be confused with the archive.org Archive-It Team) is a rogue archivist collective dedicated to saving copies of rapidly dying or deleted websites for the sake of history and digital heritage. The group is 100% composed of volunteers and interested parties, and has expanded into a large amount of related projects for saving online and digital history.
