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
Description
Description
Details
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
- Parents
- rDLS44560c2383bd: pubdev: Retrieve last publication date for each listed package
- Branches
- Unknown
- Tags
- References
- tag: v3.0.0
- Build Status
Buildable 31381 Build 49090: test-and-build Jenkins console · Jenkins