<div dir="ltr"><div>-cc: committers to avoid crossposting.</div><div><br></div><div>I have feedback for roundup as experienced on BPO that should be represented within PEP 595 if we are going to have a summary of "improving roundup for BPO" captured in a PEP (presumably already rejected given 581? But good to have documented regardless so _thank you_ for doing this writeup even though I realize our plan of record may be demoralizing for you).</div><div><br></div><div>> **Flexible UI.**  While Roundup UI might look dated, it is convenient and flexible.</div><div><br></div><div>I wholly disagree with this statement.</div><div><br></div><div>The BPO roundup UI drives me nuts. every. single. time. I have to use it.  It is not optimized for common workflows users actually need to accomplish when using a bug tracker.  Two example usability issues (of many): Users can't read the latest update to a bug of length because it is hidden within the *middle* of the scrolling region, they must hunt for it.  After reading, the text box to add to the discussion is oddly located near the *top* of the scrolling region so that a user cannot see context of a bug discussion they are responding to as they type.  I file things like this under "User experience design is needed for the common workflows of all classes of users".</div><div><br></div><div>Roundup needs a modern responsive web interface, not GET/POST request based interface seen on BPO.  As a result of that, roundup <i>feels</i> like is belongs in the Pre-2004 era interface wise by being web form and full page reload server for everything. A responsive modern "async javascript requests happen in the background of the UI" system that we all expect of any web UI is needed. Not just tweaking the existing thing to have a mobile friendly version of the web form. This includes persistent connections so that updates to an issue show up live as they happen instead of getting an error message "someone/something else has updated this issue since you started typing, the action you wanted to take such as submitting that comment or editing that field is now invalid and cannot be completed without a lot of manual work figuring out what happened, cut and pasting, and fixing things up on the you the users part".</div><div><br></div><div>I'm not going to try proposing a PR to this PEP encapsulating that, I'll leave that up to anyone willing to wrangle such a PEP.  The list archive has it regardless now. :)</div><div><br></div><div>-Greg</div><div><br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, May 23, 2019 at 1:17 PM Ezio Melotti <<a href="mailto:ezio.melotti@gmail.com">ezio.melotti@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hello,<br>
Berker and I have been working on a PEP that suggests we keep using<br>
and improving <a href="http://bugs.python.org" rel="noreferrer" target="_blank">bugs.python.org</a> and Roundup instead of switching to<br>
GitHub Issues as proposed by PEP 581.<br>
<br>
The PEP covers:<br>
* What are the advantages of Roundup over GitHub issues;<br>
* What features are missing in Roundup and how can we add them;<br>
* Issues with PEP 581;<br>
* Issues with the migration plan proposed by PEP 588;<br>
<br>
The rendered version of PEP 595 is available at<br>
<a href="https://www.python.org/dev/peps/pep-0595/" rel="noreferrer" target="_blank">https://www.python.org/dev/peps/pep-0595/</a><br>
<br>
For reference, you can consult PEP 581 and 588 at<br>
<a href="https://www.python.org/dev/peps/pep-0581/" rel="noreferrer" target="_blank">https://www.python.org/dev/peps/pep-0581/</a> and<br>
<a href="https://www.python.org/dev/peps/pep-0588/" rel="noreferrer" target="_blank">https://www.python.org/dev/peps/pep-0588/</a><br>
<br>
The full text of the PEP is include below.  We are planning to update<br>
the PEP to include the feedback we receive and to update the status of<br>
features as we implement them (we also have a Google Summer of Code<br>
students working on it).<br>
<br>
Best Regards,<br>
Ezio Melotti<br>
<br>
<br>
================<br>
PEP: 595<br>
Title: Improving <a href="http://bugs.python.org" rel="noreferrer" target="_blank">bugs.python.org</a><br>
Author: Ezio Melotti <<a href="mailto:ezio.melotti@gmail.com" target="_blank">ezio.melotti@gmail.com</a>>, Berker Peksag<br>
<<a href="mailto:berker.peksag@gmail.com" target="_blank">berker.peksag@gmail.com</a>><br>
Status: Draft<br>
Type: Process<br>
Content-Type: text/x-rst<br>
Created: 12-May-2019<br>
<br>
<br>
Abstract<br>
========<br>
<br>
This PEP proposes a list of improvements to make <a href="http://bugs.python.org" rel="noreferrer" target="_blank">bugs.python.org</a><br>
more usable for contributors and core developers.  This PEP also<br>
discusses why remaining on Roundup should be preferred over<br>
switching to GitHub Issues, as proposed by :pep:`581`.<br>
<br>
<br>
Motivation<br>
==========<br>
<br>
On May 14th, 2019 :pep:`581` has been accepted [#]_ without much<br>
public discussion and without a clear consensus [#]_.  The PEP<br>
contains factual errors and doesn't address some of the<br>
issues that the migration to GitHub Issues might present.<br>
<br>
Given the scope of the migration, the amount of work required,<br>
and how it will negatively affect the workflow during the<br>
transition phase, this decision should be re-evaluated.<br>
<br>
<br>
Roundup advantages over GitHub Issues<br>
=====================================<br>
<br>
This section discusses reasons why Roundup should be preferred<br>
over GitHub Issues and Roundup features that are not available<br>
on GitHub Issues.<br>
<br>
* **Roundup is the status quo.**  Roundup has been an integral<br>
  part of the CPython workflow for years.  It is a stable product<br>
  that has been tested and customized to adapt to our needs as the<br>
  workflow evolved.<br>
<br>
  It is possible to gradually improve it and avoid the disruption<br>
  that a switch to a different system would inevitabily bring to<br>
  the workflow.<br>
<br>
* **Open-source and Python powered.**  Roundup is an open-source<br>
  project and is written in Python.  By using it and supporting<br>
  it, we also support the Python ecosystem.  Several features<br>
  developed for bpo have also been ported to upstream Roundup<br>
  over the years.<br>
<br>
* **Fully customizable.**  Roundup can be (and has been) fully<br>
  customized to fit our needs.<br>
<br>
* **Finer-grained access control.**  Roundup allows the creation<br>
  of different roles with different permissions (e.g. create,<br>
  view, edit, etc.) for each individual property, and users can<br>
  have multiple roles.<br>
<br>
* **Flexible UI.**  While Roundup UI might look dated, it is<br>
  convenient and flexible.<br>
<br>
  For example, on the issue page, each field (e.g. title, type,<br>
  versions, status, linked files and PRs, etc.) have appropriate<br>
  UI elements (input boxes, dropdowns, tables, etc.) that are<br>
  easy to set and also provide a convenient way to get info about<br>
  the issue at a glance.  The number of fields, their values, and<br>
  the UI element they use is also fully customizable.<br>
  GitHub only provides labels.<br>
<br>
  The issue list page presents the issues in a compact and easy<br>
  to read table with separate columns for different fields.  For<br>
  comparison, Roundup lists 50 issues in a screen, whereas GitHub<br>
  takes two screens to shows 25 issues.<br>
<br>
* **Advanced search.**  Roundup provides an accurate way to search<br>
  and filter by using any combination of issue fields.<br>
  It is also possible to customize the number of results and the<br>
  fields displayed in the table, and the sorting and grouping<br>
  (up to two levels).<br>
<br>
  bpo also provides predefined summaries (e.g. "Created by you",<br>
  "Assigned to you", etc.) and allows the creation of custom<br>
  search queries that can be conveniently accessed from the sidebar.<br>
<br>
* **Nosy list autocomplete.**  The nosy list has an autocomplete<br>
  feature that suggests maintainers and experts.  The suggestions<br>
  are automatically updated when the experts index [#]_ changes.<br>
<br>
* **Dependencies and Superseders.** Roundup allows to specify<br>
  dependencies that must be addressed before the current issues<br>
  can be closed and a superseder issue to easily mark duplicates<br>
  [#]_.  The list of dependencies can also be used to create<br>
  meta-issues that references several other sub-issues [#]_.<br>
<br>
<br>
Improving Roundup<br>
=================<br>
<br>
This section lists some of the issues mentioned by :pep:`581`<br>
and other desired features and discusses how they can be implemented<br>
by improving Roundup and/or our instance.<br>
<br>
* **REST API support.**  A REST API will make integration with other<br>
  services and the development of new tools and applications easiers.<br>
<br>
  Upstream Roundup now supports a REST API. Updating the tracker will<br>
  make the REST API available.<br>
<br>
* **GitHub login support.**  This will allow users to login<br>
  to <a href="http://bugs.python.org" rel="noreferrer" target="_blank">bugs.python.org</a> (bpo) without having to create a new account.<br>
  It will also solve issues with confirmation emails being marked<br>
  as spam, and provide two-factor authentication.<br>
<br>
  A patch to add this functionality is already available and is<br>
  being integrated at the time of writing [#]_.<br>
<br>
* **Markdown support and message preview and editing.**  This feature<br>
  will allow the use of Markdown in messages and the ability to<br>
  preview the message before the submission and edit it afterward.<br>
<br>
  This can be done, but it will take some work.  Possible solutions<br>
  have been proposed on the roundup-devel mailing list [#]_.<br>
<br>
* **"Remove me from nosy list" button.**  Add a button on issue pages<br>
  to remove self from the nosy list.<br>
<br>
  This feature will be added during GSoC 2019.<br>
<br>
* **Mobile friendly theme.**  Current theme of <a href="http://bugs.python.org" rel="noreferrer" target="_blank">bugs.python.org</a> looks<br>
  dated and it doesn't work well with mobile browsers.<br>
<br>
  A mobile-friendly theme that is more modern but still familiar<br>
  will be added.<br>
<br>
* **Add PR link to BPO emails.**  Currently bpo emails don't include<br>
  links to the corresponding PRs.<br>
<br>
  A patch [#]_ is available to change the content of the bpo emails<br>
  from::<br>
<br>
     components: +Tkinter<br>
     versions: +Python 3.4<br>
     pull_requests: +42<br>
<br>
  to::<br>
<br>
     components: +Tkinter<br>
     versions: +Python 3.4<br>
     pull_request: <a href="https://github.com/python/cpython/pull/341" rel="noreferrer" target="_blank">https://github.com/python/cpython/pull/341</a><br>
<br>
* **Python 3 support.**  Using Python 3 will make maintenance easier.<br>
<br>
  Upstream Roundup now supports Python 3. Updating the tracker will<br>
  allow us to switch to Python 3.  The instances will need to be<br>
  updated as well.<br>
<br>
* **Use upstream Roundup.**  We currently use a fork of Roundup with<br>
  a few modifications, most notably the GitHub integration.  If this<br>
  is ported upstream, we can start using upstream Roundup without<br>
  having to maintain our fork.<br>
<br>
<br>
PEP 581 issues<br>
==============<br>
<br>
This section addresses some errors and inaccuracies found in :pep:`581`.<br>
<br>
The "Why GitHub?" section of PEP 581 lists features currently<br>
available on GitHub Issues but not on Roundup.  Some of this features<br>
are currently supported:<br>
<br>
* "Ability to reply to issue and pull request conversations via email."<br>
<br>
  * Being able to reply by email has been one of the core features of<br>
    Roundup since the beginning.  It is also possible to create new<br>
    issues or close existing ones, set or modify fields, and add<br>
    attachments.<br>
<br>
* "Email notifications containing metadata, integrated with Gmail,<br>
  allowing systematic filtering of emails."<br>
<br>
  * Emails sent by Roundup contains metadata that can be used for<br>
    filtering.<br>
<br>
* "Additional privacy, such as offering the user a choice to hide an<br>
  email address, while still allowing communication with the user<br>
  through @-mentions."<br>
<br>
  * Email addresses are hidden by default to users that are not<br>
    registered.  Registered users can see other users' addresses<br>
    because we configured the tracker to show them.  It can easily<br>
    be changed if desired.  Users can still be added to the nosy<br>
    list by using their username even if their address is hidden.<br>
<br>
* "Ability to automatically close issues when a PR has been merged."<br>
<br>
  * The GitHub integration of Roundup automatically closes issues<br>
    when a commit that contains "fixes issue <id>" is merged.<br>
    (Alternative spellings such as "closes" or "bug" are also supported.)<br>
    See [#]_ for a recent example of this feature.<br>
<br>
* "Support for permalinks, allowing easy quoting and copying &<br>
  pasting of source code."<br>
<br>
  * Roundup has permalinks for issues, messages, attachments, etc.<br>
    In addition, Roundup allows to easily rewrite broken URLs in<br>
    messages (e.g. if the code hosting changes).<br>
<br>
* "Core developers, volunteers, and the PSF don't have to maintain the<br>
  issue infrastructure/site, giving us more time and resources to focus<br>
  on the development of Python."<br>
<br>
  * While this is partially true, additional resources are required to<br>
    write and maintain bots.<br>
<br>
    In some cases, bots are required to workaround GitHub's lack of<br>
    features rather than expanding. [#]_ was written<br>
    specifically to workaround GitHub's email integration.<br>
<br>
    Updating our bots to stay up-to-date with changes in the GitHub API<br>
    has also maintenance cost. [#]_ took two days to be fixed.<br>
<br>
    In addition, we will still need to maintain Roundup for bpo (even<br>
    if it becomes read-only) and for the other trackers<br>
    we currently host/maintain (Jython [#]_ and Roundup [#]_).<br>
<br>
The "Issues with Roundup / bpo" section of :pep:`581` lists some issues<br>
that have already been fixed:<br>
<br>
* "The upstream Roundup code is in Mercurial. Without any CI available,<br>
  it puts heavy burden on the few existing maintainers in terms of<br>
  reviewing, testing, and applying patches."<br>
<br>
  * While Roundup uses Mercurial by default, there is a git clone<br>
    available on GitHub [#]_.  Roundup also has CI available [#]_ [#]_.<br>
<br>
* "There is no REST API available. There is an open issue in Roundup for<br>
  adding REST API. Last activity was in 2016."<br>
<br>
  * The REST API has been integrated and it's now available in Roundup.<br>
<br>
* "Users email addresses are exposed. There is no option to mask it."<br>
<br>
  * Exposing addresses to registered and logged in users was a decision<br>
    taken when our instance was set up.<br>
<br>
    This has now been changed to make the email addresses hidden for<br>
    regular users too (Developers and Coordinators can still see them).<br>
    The "Email address"" column from the user listing page [#]_ has been<br>
    removed too.<br>
<br>
* "It sends a number of unnecessary emails and notifications, and it is<br>
  difficult, if not impossible, to configure."<br>
<br>
  * This can be configured.<br>
<br>
* "Creating an account has been a hassle. There have been reports of people<br>
  having trouble creating accounts or logging in."<br>
<br>
  * The main issue is confirmation emails being marked as spam.  Work has<br>
    been done to resolve the issue.<br>
<br>
Migration considerations<br>
========================<br>
<br>
This section describes issues with the migrations that might not<br>
have been addressed by :pep:`581` and :pep:`588`.<br>
<br>
:pep:`588` suggests to add a button to migrate issues to GitHub<br>
only when someone wants to keep working on them.  This approach<br>
has several issues:<br>
<br>
* bpo will need to be updated in order to add a button that,<br>
  once pressed, creates a new issue on GitHub, copies over all<br>
  the messages, attachments, and creates/adds label for the<br>
  existing fields.  Permissions will also need to be tweaked<br>
  to make individual issues read-only once they are migrated,<br>
  and to prevent users to create new accounts.<br>
<br>
* The issues will be split between two trackers; searching issues<br>
  will take significant more effort.<br>
<br>
* The conversion from Roundup to GitHub is lossy, unless all<br>
  the bpo fields are converted into labels or preserved somewhere<br>
  else.<br>
<br>
* bpo converts a number of references into links, including<br>
  issue, message, and PR IDs, changeset numbers, legacy SVN<br>
  revision numbers, paths to files in the repo, files in<br>
  tracebacks (detecting the correct branch), links to devguide<br>
  pages and sections [#]_.  This happens when messages are<br>
  requested so it is possible to create the correct link (e.g.<br>
  all the file links used to point to <a href="http://hg.python.org" rel="noreferrer" target="_blank">hg.python.org</a> and now<br>
  point to GitHub).<br>
<br>
  If the links are hardcoded during the migration, it will be<br>
  difficult (if not impossible) to change them later.  If they<br>
  aren't, they will either be lost, or a tool to generate the<br>
  links and updating them will need to be written.<br>
<br>
* GitHub doesn't provide a way to set and preserve issue IDs<br>
  if they are migrated automatically with the use of a button.<br>
  (Some projects managed to preserve the IDs by contaacting<br>
  the GitHub staff and migrating the issues *en masse*.)<br>
<br>
* On top of the work and changes required to migrate to GitHub<br>
  issues, we will still need to keep running and maintaining<br>
  Roundup, for both our instance (read-only) and for the Jython<br>
  and Roundup trackers (read-write).<br>
<br>
<br>
In addition to the issues listed in the "Open issues" section of<br>
:pep:`588`, this issues will need to be addressed:<br>
<br>
* GitHub is properietary and there is risk of vendor lock-in.<br>
  Their business model might change and they could shut down<br>
  altogether.<br>
<br>
* Switching to GitHub Issues will likely increase the number of<br>
  invalid reports and increase the triaging effort.  This concern<br>
  has been raised in the past in a Zulip topic [#]_.<br>
<br>
  There have been already cases where people posted comments on<br>
  PRs that required moderators to mark them as off-topic or<br>
  disruptive, delete them altogether, and even lock the<br>
  conversation [#]_.<br>
<br>
* Roundup sends weekly reports to python-dev with a summary that<br>
  includes new issues, recent issues with no replies, recent<br>
  issues waiting for review, most discussed issues, closed issues,<br>
  and deltas for open/closed/total issue counts [#]_.  The report<br>
  provides an easy way to keep track of the tracker activity and<br>
  to make sure that issues that require attention are noticed.<br>
<br>
  The data collect by the weekly report is also use to generate<br>
  statistics and graphs that can be used to gain new insights [#]_.<br>
<br>
* There are currently two mailing lists where Roundup posts new<br>
  tracker issues and all messages respectively: new-bugs-announce<br>
  [#]_ and python-bugs-list [#]_.  A new system will need to be<br>
  developed to preserve this functionality.  These MLs offer<br>
  additional ways to keep track of the tracker activity.<br>
<br>
<br>
References<br>
==========<br>
<br>
.. [#] [Python-Dev] PEP 581 (Using GitHub issues for CPython) is accepted<br>
<br>
   <a href="https://mail.python.org/pipermail/python-dev/2019-May/157399.html" rel="noreferrer" target="_blank">https://mail.python.org/pipermail/python-dev/2019-May/157399.html</a><br>
<br>
.. [#] [python-committers] [Python-Dev] PEP 581 (Using GitHub issues<br>
   for CPython) is accepted<br>
<br>
   <a href="https://mail.python.org/pipermail/python-committers/2019-May/006755.html" rel="noreferrer" target="_blank">https://mail.python.org/pipermail/python-committers/2019-May/006755.html</a><br>
<br>
.. [#] Experts Index -- Python Devguide<br>
<br>
   <a href="https://devguide.python.org/experts/" rel="noreferrer" target="_blank">https://devguide.python.org/experts/</a><br>
<br>
.. [#] An example of superseded issues:<br>
   "re.sub() replaces only several matches"<br>
<br>
   <a href="https://bugs.python.org/issue12078" rel="noreferrer" target="_blank">https://bugs.python.org/issue12078</a><br>
<br>
.. [#] An example of meta issue using dependencies to track sub-issues:<br>
   "Meta-issue: support of the android platform""<br>
<br>
   <a href="https://bugs.python.org/issue26865" rel="noreferrer" target="_blank">https://bugs.python.org/issue26865</a><br>
<br>
.. [#] Support logging in with GitHub<br>
<br>
   <a href="https://github.com/python/bugs.python.org/issues/7" rel="noreferrer" target="_blank">https://github.com/python/bugs.python.org/issues/7</a><br>
<br>
.. [#] Re: [Roundup-devel] PEP 581 and Google Summer of Code<br>
<br>
   <a href="https://sourceforge.net/p/roundup/mailman/message/36667828/" rel="noreferrer" target="_blank">https://sourceforge.net/p/roundup/mailman/message/36667828/</a><br>
<br>
.. [#] [Tracker-discuss] [issue624] bpo emails contain useless non-github<br>
       pull_request number - users want a link to actual github PR<br>
<br>
   <a href="https://mail.python.org/pipermail/tracker-discuss/2018-June/004547.html" rel="noreferrer" target="_blank">https://mail.python.org/pipermail/tracker-discuss/2018-June/004547.html</a><br>
<br>
.. [#] The commit reported in msg342882 closes the issue (see the history below)<br>
<br>
   <a href="https://bugs.python.org/issue36951#msg342882" rel="noreferrer" target="_blank">https://bugs.python.org/issue36951#msg342882</a><br>
<br>
.. [#] The cpython-emailer-webhook project<br>
<br>
   <a href="https://github.com/berkerpeksag/cpython-emailer-webhook" rel="noreferrer" target="_blank">https://github.com/berkerpeksag/cpython-emailer-webhook</a><br>
<br>
.. [#] A recent incident caused by GitHub<br>
<br>
   <a href="https://github.com/python/bedevere/pull/163" rel="noreferrer" target="_blank">https://github.com/python/bedevere/pull/163</a><br>
<br>
.. [#] Jython issue tracker<br>
<br>
   <a href="https://bugs.jython.org/" rel="noreferrer" target="_blank">https://bugs.jython.org/</a><br>
<br>
.. [#] Roundup issue tracker<br>
<br>
   <a href="https://issues.roundup-tracker.org/" rel="noreferrer" target="_blank">https://issues.roundup-tracker.org/</a><br>
<br>
.. [#] GitHub clone of Roundup<br>
<br>
   <a href="https://github.com/roundup-tracker/roundup" rel="noreferrer" target="_blank">https://github.com/roundup-tracker/roundup</a><br>
<br>
.. [#] Travis-CI for Roundup<br>
<br>
   <a href="https://travis-ci.org/roundup-tracker/roundup" rel="noreferrer" target="_blank">https://travis-ci.org/roundup-tracker/roundup</a>) and codecov<br>
<br>
.. [#] Codecov for Roundup<br>
<br>
   <a href="https://codecov.io/gh/roundup-tracker/roundup/commits" rel="noreferrer" target="_blank">https://codecov.io/gh/roundup-tracker/roundup/commits</a><br>
<br>
.. [#] User listing -- Python tracker<br>
<br>
   <a href="https://bugs.python.org/user?@sort=username" rel="noreferrer" target="_blank">https://bugs.python.org/user?@sort=username</a><br>
<br>
.. [#] Generating Special Links in a Comment -- Python Devguide<br>
<br>
   <a href="https://devguide.python.org/triaging/#generating-special-links-in-a-comment" rel="noreferrer" target="_blank">https://devguide.python.org/triaging/#generating-special-links-in-a-comment</a><br>
<br>
.. [#] The New-bugs-announce mailing list<br>
<br>
   <a href="https://mail.python.org/mailman/listinfo/new-bugs-announce" rel="noreferrer" target="_blank">https://mail.python.org/mailman/listinfo/new-bugs-announce</a><br>
<br>
.. [#] The Python-bugs-list mailing list<br>
<br>
   <a href="https://mail.python.org/mailman/listinfo/python-bugs-list" rel="noreferrer" target="_blank">https://mail.python.org/mailman/listinfo/python-bugs-list</a><br>
<br>
.. [#] An example of [Python-Dev] Summary of Python tracker Issues<br>
<br>
   <a href="https://mail.python.org/pipermail/python-dev/2019-May/157483.html" rel="noreferrer" target="_blank">https://mail.python.org/pipermail/python-dev/2019-May/157483.html</a><br>
<br>
.. [#] Issues stats -- Python tracker<br>
<br>
   <a href="https://bugs.python.org/issue?@template=stats" rel="noreferrer" target="_blank">https://bugs.python.org/issue?@template=stats</a><br>
<br>
.. [#] s/n ratio -- Python -- Zulip<br>
<br>
   <a href="https://python.zulipchat.com/#narrow/stream/130206-pep581/topic/s.2Fn.20ratio" rel="noreferrer" target="_blank">https://python.zulipchat.com/#narrow/stream/130206-pep581/topic/s.2Fn.20ratio</a><br>
<br>
.. [#] For example this and other related PRs:<br>
<br>
   <a href="https://github.com/python/cpython/pull/9099" rel="noreferrer" target="_blank">https://github.com/python/cpython/pull/9099</a><br>
<br>
<br>
Copyright<br>
=========<br>
<br>
This document has been placed in the public domain.<br>
<br>
..<br>
   Local Variables:<br>
   mode: indented-text<br>
   indent-tabs-mode: nil<br>
   sentence-end-double-space: t<br>
   fill-column: 70<br>
   coding: utf-8<br>
   End:<br>
_______________________________________________<br>
python-committers mailing list<br>
<a href="mailto:python-committers@python.org" target="_blank">python-committers@python.org</a><br>
<a href="https://mail.python.org/mailman/listinfo/python-committers" rel="noreferrer" target="_blank">https://mail.python.org/mailman/listinfo/python-committers</a><br>
Code of Conduct: <a href="https://www.python.org/psf/codeofconduct/" rel="noreferrer" target="_blank">https://www.python.org/psf/codeofconduct/</a><br>
</blockquote></div>