Differential D8411

pubdev: Update User-Agent request header value
ClosedPublic
Actions

Authored by anlambert on Sep 7 2022, 12:17 PM.

Details

Reviewers

ardumont

Group Reviewers

Reviewers

Commits

rDLSc819cc237dca: pubdev: Update User-Agent request header value

Summary

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

Repository

rDLS Listers

Lint

Automatic diff as part of commit; lint not applicable.

Unit

Automatic diff as part of commit; unit tests not applicable.

Event Timeline

anlambert created this revision.Sep 7 2022, 12:17 PM

Herald added a reviewer: Reviewers. · View Herald TranscriptSep 7 2022, 12:17 PM

Build is green

Patch application report for D8411 (id=30344)

Rebasing onto 44560c2383...

Current branch diff-target is up to date.

Changes applied before test

commit 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.

Harbormaster completed remote builds in B31371: Diff 30344.Sep 7 2022, 12:22 PM

anlambert requested review of this revision.Sep 7 2022, 12:22 PM