Use a value that matches good practice recommended by pub.dev REST API doc.
See https://github.com/dart-lang/pub-dev/issues/6016#issuecomment-1239136515
Differential D8411
pubdev: Update User-Agent request header value anlambert on Sep 7 2022, 12:17 PM. Authored by
Details
Use a value that matches good practice recommended by pub.dev REST API doc. See https://github.com/dart-lang/pub-dev/issues/6016#issuecomment-1239136515
Diff Detail
Event TimelineComment Actions Build is green Patch application report for D8411 (id=30344)Rebasing onto 44560c2383... Current branch diff-target is up to date. Changes applied before testcommit c819cc237dcab7f32fdf3e7fc71d2250f6855eb5 Author: Antoine Lambert <anlambert@softwareheritage.org> Date: Wed Sep 7 12:15:28 2022 +0200 pubdev: Update User-Agent request header value Use a value that matches good practice recommended by pub.dev REST API doc. https://github.com/dart-lang/pub/blob/master/doc/repository-spec-v2.md See https://jenkins.softwareheritage.org/job/DLS/job/tests-on-diff/651/ for more details. |