如何删除gitlab上的文件及其记录

背景

昨天突然有人跟我说我在gitlab上的一个仓库占用的内存很大，导致pull下来时间有点久。我检查了一下发现原来是我把几个大文件push上去了，而这几个大文件其实没必要传上去，很尴尬。。。因为这个gitlab仓库是大家公用的，所以今天上午在尝试如何把这几个大文件删除并且把记录抹去，虽然最后没有完全解决，但还是记录一下我尝试的过程。
这个故事告诉大家，在git add . 之后一定要检查一下自己加了什么，不要直接commit，然后push。。。 T-T

关于git的一些知识

Git是一个可以记录你所有改动的工具，比如你在某个分支上进行了2次commit，在第一次commit的时候push了一个100M的文件，在第二次commit的时候，对文件进行了修改，然后再push上去，那么git仓库会记录下这两次的改动，也就是说这个git仓库会保存这两个100M的文件，即使你在第三次commit中把这个文件删除了，但是git还是会保存前面两次的记录，所以如果你想彻底删除某个文件也要一并删除之前的历史记录。
对于一些没必要的大文件，就不要上传到git仓库中，不然你的git仓库会越来越臃肿。
其他git原理可以参考 git原理

解决办法

1.最简单粗暴

如果你是在某个分支上push的，而且这个分支没什么用，就直接删除该分支。

2.Reset之前commit的内容