Correct, HD DVD is the more obvious, and correct choice.

For small repos external USB floppy drives are only $16. IBM Formatted floppy disks are $25-$30 for 10.

Insert floppy #25

I would do it just for fun.

Elaborate? It seems like a fun joke making light of Sony’s announcement this week.

For a min, I thought "Github is going to be dead soon, so get your backup"

Probably because a lot of people here think it's some kind of conspiracy-level private information stealing scheme.