Revert "Delete dumb.git"

This reverts commit 39557d11108e6493488b1f47969ec2adc9964f79.