Follow me
-
Recent Posts
calendar
January 2023 M T W T F S S 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 Recent Comments
- Peter D. on How to use subprocess with PIPEs
- Ali Zhang on About matplotlib colormap and how to get RGB values of the map
- cloud on gimp: how to make a transparent background
- Stan Blum on gimp: how to make a transparent background
- 1125 on pytest-cov collects no data on Travis
Archives
Categories
Meta
Media RSS
Tag Archives: github
git : How to remove a big file wrongly committed
I added a large file to a git repository (102Mb), commited and push and got an error due to size limit limitations on github remote: error: GH001: Large files detected. You may want to try Git Large File Storage – … Continue reading
How to update a forked repository (github)
I followed those steps and it worked like a charm using github interface assuming there was no changes between the fork and main repository Open your fork on GitHub. Click on Pull Requests. Click on New Pull Request. By default, … Continue reading
git and github : skip password typing with ssh
Assuming you have already provided your ssh key in your github settings, you can avoid typing your username and password when when pushing content into your github account, by cloning the SSH repository instead of the default HTTP one. ssh://git@github.com/username/repo.gitssh://git@github.com/username/repo.git … Continue reading