diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2023-04-08 07:48:59 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-08 07:48:59 +0000 |
| commit | 70d1e626754851442aa87007f1a8f86be198f8e2 (patch) | |
| tree | 7b7c87fa08ca23dc6551b99e23f5cc4ae9b20612 | |
| parent | d90efe935e2db72a6d2393a37cad0794d9728aaa (diff) | |
| parent | 5ee8ecb396223546c05a895c8187670a57cb4158 (diff) | |
Merge #5
5: Fix: Add https:// in github url r=matthiasbeyer a=matthiasbeyer
Co-authored-by: Matthias Beyer <mail@beyermatthias.de>
| -rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6,7 +6,7 @@ In your project: ``` git checkout -b add-ci -git fetch github.com/matthiasbeyer/rust-ci-setup-bors master +git fetch https://github.com/matthiasbeyer/rust-ci-setup-bors master git merge --no-ff --allow-unrelated-histories FETCH_HEAD ``` |