Re: issue tracking in git

2021-08-15 Thread Adriano Peluso
Il giorno ven, 13/08/2021 alle 16.39 +0200, raingloom ha scritto:
> 


> I think this might be the result of that survey?
> https://github.com/bitcoin-core/bitcoin-devwiki/wiki/GitHub-alternatives-for-Bitcoin-Core

yes, this is it

it seems here was no progress, since then





Re: 02/02: gnu: syncthing: Prepare for cross-compiling.

2021-08-15 Thread Leo Famulari
On Sun, Aug 15, 2021 at 04:42:19PM -0400, Leo Famulari wrote:
> On Mon, Apr 26, 2021 at 02:33:56PM -0400, guix-comm...@gnu.org wrote:
> > efraim pushed a commit to branch master
> > in repository guix.
> > 
> > commit b33f5d7ff0627424a06fd0416761cd81c350e20a
> > Author: Efraim Flashner 
> > AuthorDate: Mon Apr 26 21:30:15 2021 +0300
> > 
> > gnu: syncthing: Prepare for cross-compiling.
> > 
> > * gnu/packages/syncthing.scm (syncthing)[arguments]: Add custom
> > 'pre-build phase to not set a local GOBIN directory. Adjust custom
> > 'build and 'install phases accordingly.
> 
> This commit broke splitting the package into two outputs "out" and
> "utils".

I meant to file a bug report, not send this to guix-devel: 
https://bugs.gnu.org/50071



Re: 02/02: gnu: syncthing: Prepare for cross-compiling.

2021-08-15 Thread Leo Famulari
On Mon, Apr 26, 2021 at 02:33:56PM -0400, guix-comm...@gnu.org wrote:
> efraim pushed a commit to branch master
> in repository guix.
> 
> commit b33f5d7ff0627424a06fd0416761cd81c350e20a
> Author: Efraim Flashner 
> AuthorDate: Mon Apr 26 21:30:15 2021 +0300
> 
> gnu: syncthing: Prepare for cross-compiling.
> 
> * gnu/packages/syncthing.scm (syncthing)[arguments]: Add custom
> 'pre-build phase to not set a local GOBIN directory. Adjust custom
> 'build and 'install phases accordingly.

This commit broke splitting the package into two outputs "out" and
"utils".

When everything is working, the utils output should look like this:

--
$ tree /gnu/store/zansw6f7i61glpa2f5hsbpazwg6qfi2v-syncthing-1.15.1-utils
/gnu/store/zansw6f7i61glpa2f5hsbpazwg6qfi2v-syncthing-1.15.1-utils
├── bin
│   ├── stcompdirs
│   ├── stcrashreceiver
│   ├── stdisco
│   ├── stdiscosrv
│   ├── stevents
│   ├── stfileinfo
│   ├── stfinddevice
│   ├── stfindignored
│   ├── stgenfiles
│   ├── stindex
│   ├── strelaypoolsrv
│   ├── strelaysrv
│   ├── stsigtool
│   ├── stvanity
│   ├── stwatchfile
│   ├── uraggregate
│   └── ursrv
└── share
├── doc
│   └── syncthing-1.15.1
│   └── LICENSE
└── man
├── man1
│   ├── stdiscosrv.1.gz
│   └── strelaysrv.1.gz
├── man5
│   ├── syncthing-config.5.gz
│   └── syncthing-stignore.5.gz
└── man7
├── syncthing-bep.7.gz
├── syncthing-device-ids.7.gz
├── syncthing-event-api.7.gz
├── syncthing-faq.7.gz
├── syncthing-globaldisco.7.gz
├── syncthing-localdisco.7.gz
├── syncthing-networking.7.gz
├── syncthing-relay.7.gz
├── syncthing-rest-api.7.gz
├── syncthing-security.7.gz
└── syncthing-versioning.7.gz

8 directories, 33 files
--

The broken state looks like this:

--
$ tree /gnu/store/b1jz5rnwjgzvl7hd99rd1r5958rwxh5x-syncthing-1.15.1-utils
/gnu/store/b1jz5rnwjgzvl7hd99rd1r5958rwxh5x-syncthing-1.15.1-utils
└── share
├── doc
│   └── syncthing-1.15.1
│   └── LICENSE
└── man
├── man1
│   ├── stdiscosrv.1.gz
│   └── strelaysrv.1.gz
├── man5
│   ├── syncthing-config.5.gz
│   └── syncthing-stignore.5.gz
└── man7
├── syncthing-bep.7.gz
├── syncthing-device-ids.7.gz
├── syncthing-event-api.7.gz
├── syncthing-faq.7.gz
├── syncthing-globaldisco.7.gz
├── syncthing-localdisco.7.gz
├── syncthing-networking.7.gz
├── syncthing-relay.7.gz
├── syncthing-rest-api.7.gz
├── syncthing-security.7.gz
└── syncthing-versioning.7.gz

7 directories, 16 files
--



Re: issue tracking in git

2021-08-15 Thread Giovanni Biscuolo
Pjotr Prins  writes:

> On Fri, Aug 13, 2021 at 06:19:23PM +0200, Giovanni Biscuolo wrote:
>> Hi Adriano and Ricardo,
>> 
>> I'm also _very_ interested in keeping issues in the same repo as code
>> and I'm really envious of Fossil users [1] :-D
>
> As a new initiative we are discussing/designing a gemini + git issue
> tracker.

I'm interested in follow your initiative, please announce it as soon as
it's published somewhere!

Thanks! Gio'

[...]

-- 
Giovanni Biscuolo

Xelera IT Infrastructures


signature.asc
Description: PGP signature


Re: Regarding copyright assignment to FSF

2021-08-15 Thread Michael Banck
Hi,

On Thu, Aug 12, 2021 at 12:18:20PM +1000, Damien Zammit wrote:
> On 11/8/21 11:01 pm, Ludovic Courtès wrote:
> > It would be interesting to consider dropping the copyright assignment
> > requirement for Hurd/Mach/MiG.  For what remains primarily a hobby
> > project, this looks to me like a hindrance more than anything else.
> 
> I imagine it is slightly inconvenient for new contributors, but not a
> hindrance in my opinion.

The fact that this process potentially or apparently took (or rather,
has been taking) months for Sergey (I don't know when it was initiated),
is a pretty good indicator that it is more than a nuisance.

> It ensures that FSF has complete control of the licensing.

I don't mind that, but I also think the Hurd is not a tactical FSF asset
anymore that needs to be kept under tight control. The FSF has enough
copyright in the Hurd that it can enforce it whenever it likes, even if
other people's copyrighted code (as is already the case with the pfinet
stack) is added. Finally, the GPLv2+ code can always be licensed to
GPLv3+ once all the GPLv2only code has been removed, no copyright
assignments are required there, either.

So if the Hurd maintainers would like to drop the requirement (as has
been done with GCC and glibc in recent months), I would support that.


Michael



Re: Regarding copyright assignment to FSF

2021-08-15 Thread Ivan Shmakov
> On 2021-08-12 12:18:20 +1000, Damien Zammit wrote:
> On 11/8/21 11:01 pm, Ludovic Courtès wrote:

This seem somewhat off-topic for the lists, so I’m open to
suggestions on what other forum to use (should anyone wish
to continue this thread.)  My suggestion is, as usual,
to use a Usenet newsgroup, such as comp.misc, for the purpose.
(See http://www.aioe.org/ for a free, no registration needed,
IPv4-only newsserver; or http://www.eternal-september.org/ for
free registration, IPv6 + IPv4 one.)

 >> It would be interesting to consider dropping the copyright assignment
 >> requirement for Hurd/Mach/MiG.  For what remains primarily a hobby
 >> project, this looks to me like a hindrance more than anything else.

 > I imagine it is slightly inconvenient for new contributors, but not a
 > hindrance in my opinion.

I’m going to concur; there’s some delay, sure, but not that much
of actual effort on the part of the new contributor.  Unless, of
course, one’s employer is uncooperative, but I’m afraid that
can’t be helped.

 > It ensures that FSF has complete control of the licensing.

And enforcement.

I’d argue that in a better world, no copyright assignment would
be necessary (nor would be GPL, but that’s another matter), as
anyone would be able to bring an infringement case to the court
entirely by themselves.  As it is, however, some considerations
apply.

As I understand it (though IANAL), there’re two parts to this
story.  First of all, copyright enforcement is, in general, a
process that itself requires certain effort.  Do you have time
to spare on filing a suit?  Will you have some more to see it
through?  Do you know a good lawyer to hire, or do you have the
necessary skills to represent yourself in the court?  What remedy
will you seek?

Moreover, /copyleft/ enforcement is tricky by itself.  Copyright
was devised, basically, as a legal tool for author to sue his
publisher for royalties.  As such, even though that does seem
to slowly change, the first question of the court for your newly-
brought GPL-infringement case would be: what sum, in your opinion,
does the company owe you?  Are you prepared to answer that?

Given the above, I’m inclined to think that assigning copyright
to a party legally prepared to fight for it to be a sensible
choice /whether it is required or not./  And /especially/ for
hobby projects; for I presume that for something you do for
living, you’ll be quite in position to estimate damages arising
from someone infringing your copyright.

From here, we may try to rank different charities on how well
they handle their enforcement cases.  My guess is that FSF will
come near the top.

The other part concerns one’s employer, and the terms of the
contract.  For instance, the contract I’m currently under says
that I’m entitled to copyright on any and all works I create,
/unless/ I’ve been specifically directed by the employer to
create any given work.

From what I’ve heard, however, some contracts allow the
/employer/ (variant: school) to claim copyright over any work
created by the employee during the term of the contract.  In
this case, it’s arguably better for all parties involved to have
the employer’s position clarified and known.  Copyright
assignment is one, though perhaps not the only, way it can be done.

-- 
FSF associate member #7257  http://am-1.org/~ivan/



Re: Regarding copyright assignment to FSF

2021-08-15 Thread Akib Azmain Turja

Michael Banck  writes:

> Hi,
>
> On Sat, Aug 14, 2021 at 02:19:12PM +0200, Dr. Arne Babenhauserheide wrote:
>> Michael Banck  writes:
>> 
>> > I don't mind that, but I also think the Hurd is not a tactical FSF asset
>> > anymore that needs to be kept under tight control. The FSF has enough
>> > copyright in the Hurd that it can enforce it whenever it likes, even if
>> > other people's copyrighted code (as is already the case with the pfinet
>> 
>> I wouldn’t be so sure about that.
>> 
>> 1. Without copyright assignment of all code involved, enforcement
>>becomes much harder.
>
> I don't think "much harder" can be quantified in a meaningful way,
> seeing how parts of the Hurd aren't under the FSF copyright at this
> point, anyway.

A real life example is GNU Guix.  There are (probably) more than hundred
copyright holders (ain't I right, Ludo?).  Is it possible enforce the
copyright of that package?  All copyright holders must cooperate to
enforce GPL, which is probably impossible.

>> 2. The Hurt still provides capabilities other OS’es don’t — while
>>maintaining POSIX compatibility. We’ve seen audacity basically
>>being taken over by a company in the past months, so the danger of
>>losing Hurd to proprietarization rather got bigger than smaller.
>
> Nobody proposes that the FSF relicenses the Hurd to a non-copyleft
> license before relinquishing the copyright assignment mandate, so I
> don't see how the Hurd continueing to be under a GPLv2+ license will
> ever be able to be taken proprietary.

When copyright is not enforced, there is no difference between a GPL
licensed and a public domain software.  When a company sees that the
copyright isn't enforced of a GPLed, it can take the program and make it
proprietary.

> I'm not going to respond further on this thread, this is starting to get
> off-topic really quick and if there are further things to be discussed,
> gnu-system-discuss or whatever other mailing list is likely the better
> place.
>
>
> Michael

NOTE: I am not a lawyer.

-- 
Akib Azmain Turja

This message is signed by me with my GnuPG key.  It's fingerprint is:

7001 8CE5 819F 17A3 BBA6  66AF E74F 0EFA 922A E7F5

Get it with:

gpg --recv-keys 70018CE5819F17A3BBA666AFE74F0EFA922AE7F5

See https://emailselfdefense.fsf.org/ to learn more and protect your
emails and yourself from surveillance.  Please send me encrypted
messages whenever possible.

Never send me Microsoft Office attachments, they use secret proprietary
format so I'll fail to read and trash them; send them in plain text if
possible or in formats like ODF and PDF if your document contains images
or videos. See http://www.gnu.org/philosophy/no-word-attachments.html to
learn more.

Please don't send HTML emails, use plain text.  HTML emails are usually
vulnerable, about thousand times larger than plain text and look ugly to
me.  They contain trackers, so whenever someone opens a messsage he is
tracked by third-party.  See http://www.asciiribbon.org to learn more.

()  ascii ribbon campaign - against html e-mail
/\  www.asciiribbon.org   - against proprietary attachments


signature.asc
Description: PGP signature


Re: Regarding copyright assignment to FSF

2021-08-15 Thread Michael Banck
Hi,

On Sat, Aug 14, 2021 at 02:19:12PM +0200, Dr. Arne Babenhauserheide wrote:
> Michael Banck  writes:
> 
> > I don't mind that, but I also think the Hurd is not a tactical FSF asset
> > anymore that needs to be kept under tight control. The FSF has enough
> > copyright in the Hurd that it can enforce it whenever it likes, even if
> > other people's copyrighted code (as is already the case with the pfinet
> 
> I wouldn’t be so sure about that.
> 
> 1. Without copyright assignment of all code involved, enforcement
>becomes much harder.

I don't think "much harder" can be quantified in a meaningful way,
seeing how parts of the Hurd aren't under the FSF copyright at this
point, anyway.

> 2. The Hurt still provides capabilities other OS’es don’t — while
>maintaining POSIX compatibility. We’ve seen audacity basically
>being taken over by a company in the past months, so the danger of
>losing Hurd to proprietarization rather got bigger than smaller.

Nobody proposes that the FSF relicenses the Hurd to a non-copyleft
license before relinquishing the copyright assignment mandate, so I
don't see how the Hurd continueing to be under a GPLv2+ license will
ever be able to be taken proprietary.

I'm not going to respond further on this thread, this is starting to get
off-topic really quick and if there are further things to be discussed,
gnu-system-discuss or whatever other mailing list is likely the better
place.


Michael



Re: Regarding copyright assignment to FSF

2021-08-15 Thread Sergey Bugaev
On Sat, Aug 14, 2021 at 8:43 AM Michael Banck  wrote:
> The fact that this process potentially or apparently took (or rather,
> has been taking) months for Sergey (I don't know when it was initiated),
> is a pretty good indicator that it is more than a nuisance.

Well, this is partly my own fault: I've been postponing trying to scan
the signed papers (I can hack on kernel internals alright, but ask me
to deal with a scanner and I'm lost). But that being said, the FSF has
also been consistently slow to respond, so it would take months even
if I had done everything promptly.

Sergey



Re: issue tracking in git

2021-08-15 Thread Pjotr Prins
On Fri, Aug 13, 2021 at 06:19:23PM +0200, Giovanni Biscuolo wrote:
> Hi Adriano and Ricardo,
> 
> I'm also _very_ interested in keeping issues in the same repo as code
> and I'm really envious of Fossil users [1] :-D

As a new initiative we are discussing/designing a gemini + git issue
tracker.

Rather than submitting to one central issue tracker the goal is to
create a distributed issue tracker (no conflicts and you can own - and
remove - your comments if you run a gemini server). It is early days,
but it ought to give a new perspective on issue tracking.

Pj.