Added content

This commit is contained in:
Julien Dessaux 2021-03-31 00:11:14 +02:00
parent 90a2b10127
commit e8d20ad887
4 changed files with 45 additions and 7 deletions

View file

@ -0,0 +1,27 @@
---
title: Mirroring a repository to github
description: How to mirror a git repository to github
date: 2021-03-30
tags:
- git
---
## Introduction
I have been running my own [git server]({{< ref "docs/adyxax.org/git.md" >}}) for more than 10 years (first with just ssh, then with [gitolite](https://gitolite.com/gitolite/index.html) and finally with [gitea](https://gitea.io/)). I manually pushed some of my work to github for better exposition and just decided to automate that mirroring.
## How to
It turns out it is quite simple. First you will need to generate a [github access token](https://github.com/settings/tokens). Be very carefull with it, it gives unlimited access to your whole github account. I wish I could generate token with a more limited access (to a single repository for example) but sadly this is not the case as of this writing.
Then you create a git hook with a script that looks like the following :
{{< highlight sh >}}
#!/usr/bin/env bash
set -eu
git push --mirror --quiet https://adyxax:TOKEN@github.com/adyxax/www.git &> /dev/null
echo 'github updated'
{{< /highlight >}}
Just put your token there, adjust the repository path and it will work. I am using this in `post-receive` hooks on my git server on several repositories without any issue.

View file

@ -1,7 +0,0 @@
---
title: "Les hommes viennent de Mars, les femmes viennent de Vénus"
date: 2020-09-28
description: John Gray
---
TODO

View file

@ -0,0 +1,7 @@
---
title: "Men Are from Mars, Women Are from Venus"
date: 2020-09-28
description: John Gray
---
TODO

View file

@ -0,0 +1,11 @@
---
title: "The Field Guide To Understanding Human Error"
description: Sidney Dekker
date: 2021-03-07
---
I first read this book in 2012 and decided to reread it for a short break in the Stormlight Archive series.
This is a great book that I highly recommend. It will help you understand more about what is too often concluded as "human errors" and how the aeronautical industry has evolved to cope with them. There is a lot to learn from this in the computer industry, the mindset and methodology the author presents can lead to true progress in so many ways! Even though good post-mortem stories are now a little more common (and there is nothing I like more than a well investigated post-mortem), it is still far from being the norm. Our industry is quick to `git blame` or look in the shell history to search who had the fat fingers and ignore all the other factors that lead to failure.
Not only will the book gives you a better understanding of accidents, it will also help you do better investigations. Last but not least, it is rich with arguments you can use to try and initiate that kind of change in your workplace.