Skip to content

Instantly share code, notes, and snippets.

View Skidragon's full-sized avatar

Theo Skidragon

View GitHub Profile
@Skidragon
Skidragon / machine.js
Created August 28, 2021 13:52
Generated by XState Viz: https://xstate.js.org/viz
const ticker = ctx => cb => {
const interval = setInterval(() => {
cb("TICK");
}, ctx.interval * 1000);
return () => clearInterval(interval);
};
const timerExpired = (ctx) => ctx.elapsed >= ctx.duration;
Verifying my Blockstack ID is secured with the address 1B4b5caK8hkEzXnRKJuewZshY1kbNmJziz https://explorer.blockstack.org/address/1B4b5caK8hkEzXnRKJuewZshY1kbNmJziz
@Skidragon
Skidragon / README.md
Created November 24, 2017 15:55 — forked from mrkpatchaa/README.md
Bulk delete github repos

Use this trick to bulk delete your old repos or old forks

(Inspired by https://medium.com/@icanhazedit/clean-up-unused-github-rpositories-c2549294ee45#.3hwv4nxv5)

  1. Open in a new tab all to-be-deleted github repositores (Use the mouse’s middle click or Ctrl + Click) https://github.com/username?tab=repositories

  2. Use one tab https://chrome.google.com/webstore/detail/onetab/chphlpgkkbolifaimnlloiipkdnihall to shorten them to a list.

  3. Save that list to some path

  4. The list should be in the form of “ur_username\repo_name” per line. Use regex search (Sublime text could help). Search for ' |.*' and replace by empty.