mirror of
https://github.com/AdaCore/cpython.git
synced 2026-02-12 12:57:15 -08:00
Follow up from https://github.com/python/peps/pull/712#issuecomment-403591108: "people using the repo without using GitHub still ought to be reminded of the COC" - GvR