mirrors/arti.git/maint/cargo-crate-owners, branch arti-v1.3.1 mirror of https://gitlab.torproject.org/tpo/core/arti http://git.dilluti0n.com/mirrors/arti.git/atom?h=arti-v1.3.1 2024-07-10T18:19:54Z maint/cargo-crate-owners: Add comment about empty files 2024-07-10T18:19:54Z Ian Jackson ijackson@chiark.greenend.org.uk 2024-07-10T16:12:35Z urn:sha1:4fae738f8c086450a347307b448dcb5957d3e8a2 Prompted by: https://gitlab.torproject.org/tpo/core/arti/-/merge_requests/2255#note_3046801 maint/cargo-crate-owners: Fix and comment seddery 2024-07-10T18:19:54Z Ian Jackson ijackson@chiark.greenend.org.uk 2024-07-10T15:17:51Z urn:sha1:ab05e1925364a35594a88cf87865ff431380e8fb Prompted by: https://gitlab.torproject.org/tpo/core/arti/-/merge_requests/2255#note_3046739 There is an improvement to comment semantics. maint/cargo-crate-owners: Comment read_owners_override 2024-07-10T18:19:54Z Ian Jackson ijackson@chiark.greenend.org.uk 2024-07-10T15:12:07Z urn:sha1:f8e276e409658bd5ebe971405f71f6c59cc235ab Prompted by: https://gitlab.torproject.org/tpo/core/arti/-/merge_requests/2255#note_3046737 maint/cargo-crate-owners: Implement override facility 2024-07-10T18:19:54Z Ian Jackson ijackson@chiark.greenend.org.uk 2024-07-10T11:40:37Z urn:sha1:6f75f959be97d5f9947f2db95a46dfd7790b3393 maint/cargo-crate-owners: Plan for override facility 2024-07-10T12:00:11Z Ian Jackson ijackson@chiark.greenend.org.uk 2024-07-10T11:14:55Z urn:sha1:e3df6d366ac475ace1f4acaa8dc35ed790a8ebf9 maint/cargo-crate-owners: More sophisticated ownership check script 2024-06-24T12:54:56Z Ian Jackson ijackson@chiark.greenend.org.uk 2024-06-12T15:07:59Z urn:sha1:53eeaf828db0e285d14ac30a734e5b432b0ed0fe Compared to check-crate-owners: 1. Checks for uniformity, rather than having an embedded list of intended maintainers. 2. Uses curl | jq, rather than `cargo owner`. This is necessary for: 3. Ignores crates which have never been published. This is necessary to be able to run this in CI, since there may be new crates in the workspace. 4. Prints the ownership information rather differently - just the usernames. This is a consequence of using curl | jq.