A practice repository for web editing files in GitHub