tree 849a92308e978d9406bcc88e4b873cc2d465577e
parent cc5cc2875f076b78ecc198c6117b86c2a5527346
author pantor <lars.berscheid@online.de> 1592246676 +0200
committer pantor <lars.berscheid@online.de> 1592246676 +0200

use github actions for pull requests