diff --git a/.github/ci.el b/ci.el
similarity index 100%
rename from .github/ci.el
rename to ci.el