Re: [OpenOCD-devel] Git repos desynchronized?

2019-06-05 Thread Paul Fertser
Hi, On Wed, Jun 05, 2019 at 09:46:10AM +0100, Spencer Oliver wrote: > I'm amazed that the crappy SF platform still works at all. Why are we using > it, again? > > no reason - just legacy and trying to keep load of build server. >From my PoV what's good and important about SF is that it

Re: [OpenOCD-devel] Git repos desynchronized?

2019-06-05 Thread Spencer Oliver
On Wed, 5 Jun 2019 at 09:00, Andreas Fritiofson < andreas.fritiof...@gmail.com> wrote: > > > On Tue, Jun 4, 2019 at 7:28 PM Christopher Head wrote: > >> It looks like the desync is still happening. It seems that sometimes SF >> catches up a bit, but then Zylin gets ahead of it again. They used

Re: [OpenOCD-devel] Git repos desynchronized?

2019-06-05 Thread Andreas Fritiofson
On Tue, Jun 4, 2019 at 7:28 PM Christopher Head wrote: > It looks like the desync is still happening. It seems that sometimes SF > catches up a bit, but then Zylin gets ahead of it again. They used to > always be right together. > > I'm amazed that the crappy SF platform still works at all. Why

Re: [OpenOCD-devel] Git repos desynchronized?

2019-06-05 Thread Spencer Oliver
On Tue, 4 Jun 2019 at 18:28, Christopher Head wrote: > It looks like the desync is still happening. It seems that sometimes SF > catches up a bit, but then Zylin gets ahead of it again. They used to > always be right together. > Hi, It seems sf have changed something in the permissions. Gerrit

Re: [OpenOCD-devel] Git repos desynchronized?

2019-06-04 Thread Christopher Head
It looks like the desync is still happening. It seems that sometimes SF catches up a bit, but then Zylin gets ahead of it again. They used to always be right together. -- Christopher Head signature.asc Description: PGP signature ___ OpenOCD-devel

[OpenOCD-devel] Git repos desynchronized?

2019-05-07 Thread Christopher Head
Hi folks, It looks as if the two Git repos, which normally mirror each other on master, have come unmirrored. git.code.sf.net/p/openocd/code appears to have 7ee6186 as master, while openocd.zylin.com:29418/openocd.git has 250185. The latter is one commit ahead of the former. This has been the