Merge branch 'date-change' into 'master'

push back jenkins retirement deadline, clarify delays okay

See merge request !3

policy/tpa-rfc-10-jenkins-retirement.md

@@ -8,7 +8,7 @@ builds operational. Non-critical websites (e.g. documentation) will be
 built by GitLab CI and served by GitLab pages. Critical websites
 (e.g. main website) will be built by GitLab CI and served by the
 static mirror system. Teams are responsible for migrating their jobs,
-with assistance from TPA, by the end of the summer (September 1st 2021).
+with assistance from TPA, by the end of the year (December 1st 2021).
 
 [[_TOC_]]
 
@@ -219,9 +219,10 @@ objections. It will be proposed to tor-internal after TPA's adoption,
 where it will be adopted (or rejected) on March 31st unless there are
 any objections.
 
-All Jenkins jobs SHOULD be migrated to other services by the end of
-the 2021 summer, roughly around September 1st, which gives users 6
-months to progressively migrate their jobs.
+All Jenkins jobs SHOULD be migrated to other services by the end
+of 2021. The Jenkins server itself will be shut down on December 1st,
+unless a major problem comes up, in which case extra delays could be
+given for teams.
 
 # Approvals required