[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: please migrate to git
|
From: |
Norbert Preining |
|
Subject: |
Re: please migrate to git |
|
Date: |
Mon, 19 Nov 2018 22:10:01 +0900 |
|
User-agent: |
Mutt/1.10.1 (2018-07-13) |
On Mon, 19 Nov 2018, Masamichi Hosoda wrote:
> No, I update it manually.
I am doing this via cron scripts and Github deploy ssh keys which allows
me to ignore it completely ;-) Also, it helps with CI testing via
Travis-CI.
Norbert
--
PREINING Norbert http://www.preining.info
Accelia Inc. + JAIST + TeX Live + Debian Developer
GPG: 0x860CDC13 fp: F7D8 A928 26E3 16A1 9FA0 ACF0 6CAC A448 860C DC13
Re: please migrate to git, Gavin Smith, 2018/11/19
- Re: please migrate to git, Werner LEMBERG, 2018/11/19
- Re: please migrate to git, Masamichi Hosoda, 2018/11/20
- Re: please migrate to git, Gavin Smith, 2018/11/24
- Re: please migrate to git, Norbert Preining, 2018/11/24
- Re: please migrate to git, Gavin Smith, 2018/11/25
- Re: please migrate to git, Andreas Schwab, 2018/11/25
- Re: please migrate to git, Gavin Smith, 2018/11/25
- Re: please migrate to git, Andreas Schwab, 2018/11/25
- Re: please migrate to git, Gavin Smith, 2018/11/26