Diffusion Listers c819cc237dca

pubdev: Update User-Agent request header value
c819cc237dca
Actions

Tags

None

Subscribers

None

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

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

Details

Provenance

anlambert	Authored on Sep 7 2022, 12:15 PM
anlambert	Pushed on Sep 7 2022, 6:59 PM

Differential Revision

D8411: pubdev: Update User-Agent request header value

Build Status

Buildable 31381
Build 49090: test-and-build	Jenkins console · Jenkins

Event Timeline

anlambert committed rDLSc819cc237dca: pubdev: Update User-Agent request header value (authored by anlambert).Sep 7 2022, 12:15 PM

anlambert added an edge: D8411: pubdev: Update User-Agent request header value.Sep 7 2022, 6:59 PM

Harbormaster completed building B31381: rDLSc819cc237dca: pubdev: Update User-Agent request header value.Sep 7 2022, 7:05 PM

swh-public-ci mentioned this in D8338: Hackage: List origins from hackage.haskell.org, The Haskell Package Repository.Sep 8 2022, 10:17 AM

swh-public-ci mentioned this in D8436: pubdev.lister: Decrease verbosity.Sep 9 2022, 12:37 PM

Commit No Longer Exists

This commit no longer exists in the repository.