Tag: github
-
Using multiple deploy keys on github using .ssh/config
You can use multiple deploy keys for Github created with ssh-keygen following with these steps. You have to add to your ~/.ssh/config If you haven’t added your github name on git: Then clone your repository specifying your custom host, adapting what github suggest to you on repo page: If you have enabled push permissions you […]
-
Delete git files from public GitHub history
To delete git files uploaded accidentally to GitHub (or any other public repository) do these steps: Download https://rtyley.github.io/bfg-repo-cleaner/ as suggested by GitHub git clone –mirror GIT_REPOSITORY_URL cd path/to/cloned/repository Download BFG java -jar /path/to/download/dir/bfg-VERSION.jar –delete-files filename.ext Run the command specified by BFG (usually git reflog expire –expire=now –all && git gc –prune=now –aggressive) git push If […]