Git

To use Git on the command line, you will need to download, install, and configure Git on your computer.

Remotes

We use GitHub as our remote so please:

1. Set up an account

   • If you already have an account:
     • add your company email to your account
     • add notification routing to redirect org notifications to your fullHaus email
     • use a clear name, no aliases
   • If you don't have an account:
     Create an account for GitHub and use your first and last name (seperated with a dash -) as username. e.g. firstname-lastname.

2. Join fullHaus Organization

   If you haven't received an invitation ask Sebastian Iffland to invite you.

Migration

We formerly used BitBucket, before the switch to GitHub happened. In rare places you might stumble upon local repositories, still pointing to BitBucket source. In this case, don't panic. First of all, at latest if you try pushing an authentication error will raise. If you recognized before, congrats. Now that you know, you're working on the wrong remote please follow these steps:

1. Ask Sebastian Iffland if the repository is already cloned to GitHub

2. Open the project and set the remote url to GitHub

   git remote set-url origin git@github.com:FULLHAUS-GmbH/project-name.git

   note

   Remember to replace project-name with the specific name of your project

   Alternatively you can clone the project from GitHub directly.

   info

   You can check the currently assigned remote with the following command:

   git remote -v

   Or via GUI within JetBrains IDEs: Menubar -> Git -> Manage Remotes

Local

Configuration

tip

You can use our SSH shell setup script to speed things up!

Please use your first and last name and your fullHaus email address:

git config --global user.name "firstname lastname"
git config --global user.email "firstname.lastname@fullhaus.de"

Connect to remote

In order to connect to remotes you will need a SSH key which is added to your account.

1. If you don't have a SSH key pair you can generate one by using following command:

   ssh-keygen -t ed25519 -C "firstname.lastname@fullhaus.de"

   Make sure to replace firstname.lastname@fullhaus.de with your actual email.
2. Copy your SSH public key with following command:

   cat ~/.ssh/id_ed25519.pub | pbcopy

3. Go to your GitHub Keys
4. Click on New SSH Key and paste the copied SSH key into the designated field and save your changes
5. You can optionally check if it worked by running following command:

   ssh -T git@github.com

   If everything is right the response should look like this:

   Hi username! You've successfully authenticated, but GitHub does not provide shell access.

   From now on please prefer using GitHubs SSH interface instead of HTTPS.

Commit signature

You can sign commits and tags locally, to give other people confidence about the origin of a change you have made. We do not force you to sign your commits for now, but it's welcome anyway. You can sign your commits with GPG or SSH, the choice is up to you. You can read on how to sign your commits on GitHub.

GitHub Configs

You can add our internal GitHub App HausKeeper to your repository to automatically configure it to the latest standards.

Alternatively, you can manually apply our predefined rulesets to enforce up-to-date conventions and safeguard your repository.

• Default Branch Protection
• Enforced prefixes