diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-12-28 16:02:10 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-28 16:02:10 +0000 |
commit | a05be326850dc88e5deedffcc06b7df57111ddee (patch) | |
tree | 77a7d0ecacc3c5c0b54245f366db7366ae26bd66 | |
parent | 5cc96a7a9f8a48a13dca4dd6a48dacff27773f3b (diff) | |
parent | 9932c50c62fb61fea6ca7197df06016d8b4c7a04 (diff) | |
parent | 0c064cb611cdcc9e19db95c079d03422a1f5ba9a (diff) |
Merge #5 #6
5: Switch to dtolnay/rust-toolchain r=matthiasbeyer a=matthiasbeyer
6: Gitlint r=matthiasbeyer a=matthiasbeyer
Use gitlint only.
Co-authored-by: Matthias Beyer <mail@beyermatthias.de>