Paul Eggert 7e1c7db1cb Prefer https: to git: URIs ...

Prefer https: to git: URIs on Savannah.
The idea is to avoid some adversary-in-the-middle attacks
on developers.

2023-02-04 15:14:15 -08:00

..

tree-sitter

Call treesit_record_change in insert_from_gap_1

2023-02-02 18:31:19 -08:00

bug-triage

; Fix typos

2022-11-20 12:59:39 +01:00

bugtracker

…

copyright

; Add 2023 to copyright years.

2023-01-01 05:31:12 -05:00

documentation

…

elpa

Prefer https: to git: URIs

2023-02-04 15:14:15 -08:00

emba

; Add 2023 to copyright years.

2023-01-01 05:31:12 -05:00

git-workflow

; * admin/notes/git-workflow: Adding "Backport:" is optional.

2022-12-22 13:38:58 -07:00

hydra

; Add 2023 to copyright years.

2023-01-01 05:31:12 -05:00

multi-tty

; Add 2023 to copyright years.

2023-01-01 05:31:12 -05:00

newfile

…

nextstep

…

repo

Improve and extend admin/git-bisect-start

2022-12-18 11:48:58 +01:00

spelling

; Fix typos: prefer American spelling

2022-07-13 13:04:22 +02:00

tags

…

trailing-whitespace

…

unicode

; Add 2023 to copyright years.

2023-01-01 05:31:12 -05:00

versioning

…

www

; Add 2023 to copyright years.

2023-01-01 05:31:12 -05:00

years

; Add 2023 to copyright years.

2023-01-01 05:31:12 -05:00