chore(wpcarro/emacs): Mirror cycle.el on Github

Attempting to use `depot.tools.releases.filteredGitPush` for the first
time. Exciting!

Change-Id: I620140b0454128ea2ca51496a7d653ee4219104e
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6006
Reviewed-by: wpcarro <wpcarro@gmail.com>
Autosubmit: wpcarro <wpcarro@gmail.com>
Tested-by: BuildkiteCI

users/wpcarro/emacs/pkgs/cycle/default.nix

@@ -31,4 +31,9 @@ cycle.overrideAttrs (_old: {
     ${emacs}/bin/emacs -batch \
       -l ert -l ${./tests.el} -f ert-run-tests-batch-and-exit
   '';
+  passthru.meta.ci.extraSteps.github = depot.tools.releases.filteredGitPush {
+    filter = ":/users/wpcarro/emacs/pkgs/cycle";
+    remote = "git@github.com:wpcarro/cycle.el.git";
+    ref = "refs/heads/main";
+  };
 })