Intro

Scripts for migrating repositories from HUJI CSE Github instance to the public one, and redacting sensitive text data like IDs. (Note this doesn't work with pdf, docx and other binary formats.)

Requirements

• fd aliased as fdfind

• jq

• bfg

• java

• git

• wget

• curl