Re: [fossil-users] fossil delete user

2018-05-18 Thread Peter Vonča
Thanks bytevolcano, in a way yes, I was thinking about the user table only at the time. I was going to use fossil for a project I'm working on but it wouldn't strictly be used as a SCM at all, and it would require for me to enable user self registration, which opened more doors about how I would ha

Re: [fossil-users] fossil delete user

2018-05-17 Thread bytevolcano
I think Peter is referring to deleting users from the "user" table. Fossil keeps the commit history forever, and each manifest has the name of the user that made the commit. In the database, this is recorded in the user column of the "event" table as the name of the user that made the commit. The

Re: [fossil-users] fossil delete user

2018-05-15 Thread Peter Vonča
That makes sense, thank you. On Tue, May 15, 2018 at 3:17 PM, Stephan Beal wrote: > > > On Tue, May 15, 2018 at 4:59 PM, Peter Vonča wrote: > >> I understand, how about anonymization then. User "Jane" is deleted. >> Replace all references with default user "Anonymous". >> > > Another point to c

Re: [fossil-users] fossil delete user

2018-05-15 Thread Stephan Beal
On Tue, May 15, 2018 at 4:59 PM, Peter Vonča wrote: > I understand, how about anonymization then. User "Jane" is deleted. > Replace all references with default user "Anonymous". > Another point to consider is that fossil does not synchronize user information unless it's explicitly told to. e.g.

Re: [fossil-users] fossil delete user

2018-05-15 Thread Stephan Beal
Anonymization is not possible because the user name is part of each commit entry, which means that it affects the hash code of each commit. Changing any data in a commit, including the user name or timestamp, would change the hash, and thereby invalidate every commit which derived from that. Fossil

Re: [fossil-users] fossil delete user

2018-05-15 Thread Peter Vonča
I understand, how about anonymization then. User "Jane" is deleted. Replace all references with default user "Anonymous". On Tue, May 15, 2018 at 12:41 PM, Victor Wagner wrote: > On Tue, 15 May 2018 12:34:07 + > Peter Vonča wrote: > > > Is there a practical reason why users can't be dele

Re: [fossil-users] fossil delete user

2018-05-15 Thread Victor Wagner
On Tue, 15 May 2018 12:34:07 + Peter Vonča wrote: > Is there a practical reason why users can't be deleted or was it just > a design decision? I guess if I stop fossil server I can manually > edit the sqlite db and delete from table? Fossil keeps history forever. How would it do so, if autho

[fossil-users] fossil delete user

2018-05-15 Thread Peter Vonča
Is there a practical reason why users can't be deleted or was it just a design decision? I guess if I stop fossil server I can manually edit the sqlite db and delete from table? ___ fossil-users mailing list fossil-users@lists.fossil-scm.org http://lists.