Re: [isabelle-dev] Rules of conduct
* to adjust the technical conditions accordingly. A single critical point is the »administrative repository« access at TUM, about which certain ideas have been floating around over the last years but which never evolved into technical consequences, e.g. * moving the »main« repository from TUM to a hosting service, with separate access administration * to pluck up courage and adjust the access permissions to the TUM repository, in discussion and consent with the people from whom it is going to be revoked then The access policy than has to follow transparent rules also. This is a very delicate question, it covers the core administrative structure of the project. My position on this has always been of not touching the status quo, while occasionally speculating about alternatives. I am still on the status quo if you would ask me today. Keeping the status quo has indeed been a vital survival strategy over the last years. The drawback is a backpack containing a lot of implicit rules. Turning a handy selection of them into explicit rules would create more transparency: * Explicit rules can be quoted. * Explicit rules can be argued about – pro and contra. Florian -- PGP available: http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de signature.asc Description: OpenPGP digital signature ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Rules of conduct
Dear Alex, You will have seen a number of further messages on this issue. It was consensus that the quoted sentence was not acceptable and Makarius offered his apology. I assume that is the reaction you had hoped for and that you will continue to be part of the community. It seems to me that this incident had a sobering effect on everybody and has made it clear that rude, insulting or offensive emails are not tolerated on this list (or its companion isabelle-users). Best regards Tobias Am 17/08/2012 23:17, schrieb Alexander Krauss: Dear all, Tjark, you have no business here. This is, finally, too much for me! I trust that the community as a whole will come to the conclusion that the quoted reaction is completely inapproriate. In particular since any rules that may have been violated are not clearly stated anywhere and were never pointed out to Tjark (or anyone else, AFAIK), let alone agreed upon explicitly by more than one person. I will not be able to take part in the discussion itself, since I'll be away, but I hope that I am not the only one who feels very bad about a former collegue being treated like this. Should there be no such clear and outspoken conclusion, I'll know that I have no place here any longer and will no longer participate in this community. Alex ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Rules of conduct
Dear all, I am in a similar situation as Alex since I will leave tomorrow morning for a one-week-trip (offline!), so I can just spend my few cents here. Tjark, you have no business here. This is, finally, too much for me! I trust that the community as a whole will come to the conclusion that the quoted reaction is completely inapproriate. In particular since any rules that may have been violated are not clearly stated anywhere and were never pointed out to Tjark (or anyone else, AFAIK), let alone agreed upon explicitly by more than one person. I fully agree with Alex that this escalation on the mailing list is not bearable – please do not understand this as taking part for one »party« or another, since I believe that there has ever been no »evil intention« on either »side«. It is a natural thing that wherever more than one or two people there is potential for conflicts – conflicts themselves are not evil, but there must be devices to handle and in best case resolve them. And this did not work out here, and for this we should be concerned about. What has been said and done cannot be undone, and I personally do not see me in the position to contribute anything concerning the past – except concerning the private exchange between Tjark and me, which I will document in the original thread for clarity (I do not »judge« here, just contribute to reconstruct the facts). But some issues come to my mind which might help to prevent similar situations in the future. Should there be no such clear and outspoken conclusion, I'll know that I have no place here any longer and will no longer participate in this community. A good item here is »community«. We are a »community« in the general sense like »some people working on similar ideas«, but our means of organization lacks some properties of typical open source »communities«. Some rules have evolved ever over the years, and this worked out well as long as most contributors shared the same table for lunch – an assumption which does not hold any longer. (Btw. also these were not the golden Elder Days, it was just a little bit simpler to communicate then). So, if rules appear to be violated, it is high time * to discuss them publicly, in order to establish them in agreeable fashion in all minds taking part; and * to adjust the technical conditions accordingly. A single critical point is the »administrative repository« access at TUM, about which certain ideas have been floating around over the last years but which never evolved into technical consequences, e.g. * moving the »main« repository from TUM to a hosting service, with separate access administration * to pluck up courage and adjust the access permissions to the TUM repository, in discussion and consent with the people from whom it is going to be revoked then Have a nice evening, Florian -- PGP available: http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de signature.asc Description: OpenPGP digital signature ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Rules of conduct
(want to add something for clarity) * to adjust the technical conditions accordingly. A single critical point is the »administrative repository« access at TUM, about which certain ideas have been floating around over the last years but which never evolved into technical consequences, e.g. * moving the »main« repository from TUM to a hosting service, with separate access administration * to pluck up courage and adjust the access permissions to the TUM repository, in discussion and consent with the people from whom it is going to be revoked then The access policy than has to follow transparent rules also. Florian -- PGP available: http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de signature.asc Description: OpenPGP digital signature ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Rules of conduct
On Sat, 18 Aug 2012, Florian Haftmann wrote: (want to add something for clarity) * to adjust the technical conditions accordingly. A single critical point is the »administrative repository« access at TUM, about which certain ideas have been floating around over the last years but which never evolved into technical consequences, e.g. * moving the »main« repository from TUM to a hosting service, with separate access administration * to pluck up courage and adjust the access permissions to the TUM repository, in discussion and consent with the people from whom it is going to be revoked then The access policy than has to follow transparent rules also. This is a very delicate question, it covers the core administrative structure of the project. My position on this has always been of not touching the status quo, while occasionally speculating about alternatives. I am still on the status quo if you would ask me today. Makarius___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
