Hello,   I am looking to edit a file in my Github repository:  https://github.com/BigTimeStats/beach-volleyball   Specifically, the file: https://github.com/BigTimeStats/beach-volleyball/blob/master/match_archive_2000_to_2017.csv   There is no edit button to edit it, meaning I have to delete/re-upload:     However, there is an edit button for my other file: https://github.com/BigTimeStats/beach-volleyball/blob/master/match_update_20170729_to_20170912.csv     The only difference I can see is the file size... however I have not been able to find any documentation on this being the case.   Thanks for the help! ... View more