Category: Coding
-
Private repo on github: how to push using a SSH deploy key
On github you can use a deploy key at a time for user associating github.com to a private key configured in .ssh/config file. Create a new user on system (e.g. userperrepo) Generate a public / private pair following github howto (e.g. /home/userperrepo/.ssh/id_ecdsa_github) Associate the key with the repo on github Add or change config file […]
-
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 […]
-
Why you should not use Drupal anymore
I’ve started using Drupal on 2007. For about 9 years I visits drupal.org almost on daily basis, I released a module, I suggested some patches, participated to local events and so on. I’ve started working on Drupal with Drupal 5 and I ended on Drupal 7 with a long time on Drupal 6. In the […]