Git

There are 2 kinds of mirroring in GitLab: pull (mirroring from another repo) and push (mirroring to another repo). Today I tried the second one! For mirroring you need an already created repository on GitLab of course. Then it’s needed to create another one on GitHub. When you have opened GitHub, you should also create PAT (Personal Access Token) by going into: Settings -> Developer settings -> Personal access token -> Generate new token. Type into Note some text (e.g. gitlab_repository_name) and select public_repo (under repo), then click Generate token and copy or leave open tab with shown token for later copy+paste (if you close tab, you won’t see the token again). ...

Having a backup version of config file is a nice thing to have when you screw something up. It allows you to experiment with adding new stuff to the file without ending a day with not working tool. You’ve probably seen people sharing their dotfiles on Github accounts or r/unixporn at Reddit using git repos. At least I’ve seen. So my first trial of backuping my config files was very trivial (but it did the job!). I just cpied i3wm config to created directory, initiated a new git repository and pushed that to the remote repo on Github. And you might think that’s not bad! ...