Skip to content
This repository was archived by the owner on Aug 24, 2025. It is now read-only.

michael-simons/aoc

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

1 Commit
 
 

Repository files navigation

michael-simons/aoc

About

This repository has been moved to Codeberg:

https://codeberg.org/michael-simons/aoc

From Codebergs "About" page:

Codeberg is a non-profit, community-led effort that provides Git hosting and other services for free and open source projects.

Codeberg is maintained by the non-profit organization Codeberg e.V., based in Berlin, Germany. For us, supporting the commons comes first.

Why the move after more than ten years? GitHub has been acquired by Microsoft way back in 2018, but lost its independence completely in August 2025. Moving a code hosting site close to a "CoreAI" team gives an idea about the future direction of GitHub and I am not happy with that.

I want to have agency over my Free and Open Source projects and not feed the literal machine with it. If you can, consider supporting the non-profit behind Codeberg, too: join.codeberg.org.

Note

With this multi-language "project", aimed to be educational for coding challenges such as Advent of Code, it is especially shameful to train AI on it… I assume it's already hard enough to come up with new puzzles for now 10 years, let alone fighting generated solutions and give everyone a bit of an opportunity.

How?

In case you also want to move a repository, here's how I moved this repository:

  1. Create a new local and orphaned branch: git checkout --orphan gone
  2. Delete all content: git rm -r --cached . && git clean -df .
  3. Added this README.md
  4. Push the gone branch over the old master branch at GitHub: git push -u origin gone:master --force
  5. Checkout master again
  6. Change origin git remote set-url origin [email protected]:michael-simons/aoc.git
  7. Took the opportunity to rename master to main: git branch -m master main && git push -u origin main

After that I archived the GitHub repository, effectively setting it to read-only and updated the description accordingly.

Why not just deleting the repository?

This was a public repository. Deleting it from GitHub will cause the following to happen:

When you delete a public repository, the oldest, active public fork is chosen to be the new upstream repository. All other repositories are forked off of this new upstream and subsequent pull requests go to this new upstream repository.

Source: Deleting a public repository

I don't want this to happen.