Today I Learned

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). ...

Is it possible to have spell checking in vim? No, it’s not. EOP (End Of Post). I’m joking of course. It is! How to do it? The only thing you need to type is: :set spell spelllang=en or if you want spell checking for Polish language: :set spell spelllang=pl Note: when you set spelllang for language different than English, file with stuff for that language will be downloaded (if one is not already in ~/.vim/spell directory), so vim will prompt you some question like where to save that file (answering with default/only one option worked for me). ...