github Archives

Fix “fatal: unable to access: server certificate verification failed” in Git

July 21, 2025 by Ayoub Bensakhria

If you see this error when cloning from a private Git server: It means your system doesn’t trust the server’s SSL certificate. Here’s how to fix it properly by trusting the certificate manually. Step 1: Export the Certificate Use openssl to extract the server certificate: Step 2: Trust the Certificate On Ubuntu/Debian On RHEL/CentOS On … Read more

Setup a CI/CD pipeline using Github Actions, Docker

May 16, 2021 by Ayoub Bensakhria

GitHub Actions is GitHub’s new build server, just like Gitlab’s gitlab pipeline. It allows you to automate your workflow directly from your GitHub repository, without having to configure and manage a third-party server like jenkins, Bamboo, CircleCI. For example, we can define an action that allows us to build our project and run a set … Read more

[Solved] Accidently added another git repository inside the current repository – grey icon on the remote repository

June 17, 2020 by Ayoub Bensakhria

This problem is due to a submodule, pointing to an unreachable remote location. Changed directory to the offending dir: Remove the .git directory inside it: Update the git cache: Go to the parent directory: Add the directory to git: