We don't need this file anymore. This was only used for practicing GitHub operations.