# pack-refs with: peeled fully-peeled sorted 
2fc33fd726e930310fab6ee52e2118dd6286ec3c refs/remotes/origin/100-thms
8315554d7e4b20e1dc2df9a23bca06d3f5c93011 refs/remotes/origin/AddCommGroup_nice_colimits
4b8acd3cfa064d5b2edc76e19dcd36a918b477c5 refs/remotes/origin/ChrisHughes24-patch-1
32e9b4e7e0c9a9fd1073537931ffc2eacc73f1c7 refs/remotes/origin/DecLinOrder_2
f8f296fae45f6555d4308763b7a4de8ce3b9d2aa refs/remotes/origin/GroupModule
fb84d4ba7b8fdf2e1d50a8d9a51ca6a130844452 refs/remotes/origin/GroupModule_2
22f0785be1eba4282b1c4216d30968d72ef33ab7 refs/remotes/origin/T50000
ffb8663518dead0468a255735a1e6db8d4efda4e refs/remotes/origin/T50000-challenge
d0e42210500cf812481af5b62eb33dd60704901e refs/remotes/origin/abhimanyupallavisudhir-patch-1
ee3fb1cdb6e44cae79b51931f59cdaec1db5fe60 refs/remotes/origin/adjoin_root_alg
11e96201efa566e937f428eec7c60ac9a3c45f79 refs/remotes/origin/algebra-bundled
21e615a35340e4b924fa30f5f25f90289b0c1f19 refs/remotes/origin/algebra_monoid_algebra
62e7e1d665e5e551272095a8431d42e529e1bbf0 refs/remotes/origin/algebraic_closure
cea9126f668d556fd77458bd6aa48a3aad3a01b0 refs/remotes/origin/amswerdlow-patch-1
5af780d6485b2eb17082316e439a3ce8282cb0c3 refs/remotes/origin/analytic
9e312e294d71901b8c713ef6e8398c9d15896930 refs/remotes/origin/array
dac95de6a0db0b77a9571e881b564a97de81fda6 refs/remotes/origin/back
49734747c022a28ac0bdf3ff80defd6f6b277e08 refs/remotes/origin/big-operator-lemmas
7efba663b97f1b706fbd95e75284a2d332b21eae refs/remotes/origin/binary_products
ed2a5281ca4d43155d944d5dac7fa35a9c7cac83 refs/remotes/origin/biproducts
7c3db50032edb0719e308ddfed06fc01077e77c4 refs/remotes/origin/bun_subs_with_new_toadditive
36dca65bdae546174907952d75e67b347aa0aa65 refs/remotes/origin/bundled-homs
d69d86a70f575eec13a1c183bb544699e80943f5 refs/remotes/origin/bundled-ring-hom
26829083a651bdc962a2cc03393248582bc0d496 refs/remotes/origin/bundled_subgroups
3f7b26abfa058881455af890a52ed83b398c60af refs/remotes/origin/bundled_submonoids
8f908e7cda9f8a69eeb480923894e59026f80a00 refs/remotes/origin/calculus
939662add11b3b205b90ee3b122c985e76b96491 refs/remotes/origin/canonical-isomorphism
3dbcdb41acb73d04c147f3bf66bc29a14b6422fe refs/remotes/origin/cartesian-category
6603596f6137266678ff9dda4134a6c91d1ba8e3 refs/remotes/origin/category_sorts
adb03f6fb8a555869a7db98d5e64aee17a71a493 refs/remotes/origin/category_theory_option
60ce776d0ca56e08c735f952870b8fa95ede4ec1 refs/remotes/origin/cauchy-seq-of-eventually-le
4f7e38aee9877f790960b5dd407f0c3dfff828e3 refs/remotes/origin/chev-warn
aa562dcdc34e9d86f277cac3044d532bab1313b3 refs/remotes/origin/choice
5a3c7adff32500de7cb95c55358f797d65ef7010 refs/remotes/origin/classical_linter
813abfd64faa4b2a45bb583820147426ae429a3a refs/remotes/origin/cleanup-runs
f3f20b8fad722680e957e412da0c754584d02540 refs/remotes/origin/coequalizer_kernel_pair
77a08862235e044cdbff4c8c7bb040f2293de455 refs/remotes/origin/cofactor
41ba4c38607571621ef5b7c7416f29238716e9c5 refs/remotes/origin/combinatorics
ab1a0c37520bef5cbc7d7b1c91e423ccc6ab9dcb refs/remotes/origin/combinatorics1
4abc6e834cfee0dfc63f455c5c9011613da062e8 refs/remotes/origin/conj
a32a8f2f91ec055ca32d572c4e8a2218137c7e88 refs/remotes/origin/counting-measure
ee1eb54b0a70cdfa9ae65867fecef3466c26ae37 refs/remotes/origin/daily-windows-build
7ce5f0a0e8764df53a7a6b687d65a91955b66acc refs/remotes/origin/data-rel-Sort
ece70146a142c8b04563c21edb34c87d192b172b refs/remotes/origin/dedekind-finite
65a75b02dd3e0949728ffb9c713802a3fd954c1b refs/remotes/origin/digits
2b061f4c577a5de2ef4def61f83c99f6514f73a6 refs/remotes/origin/dim_finsupp
a897bd686716c1427c086e6871c831bcd5fb8fec refs/remotes/origin/dirac_bind_comp
9ef1bea25463cf68195535328002254ecb6aa7b4 refs/remotes/origin/direct_limit_mvpolynomial
d5f3a4bf785ded87057dac4b5c0dad46f8698012 refs/remotes/origin/dismember-test-examples
ab3d2a8889d2dc06ae4bc369381d89c8a3ec91ae refs/remotes/origin/do-universe
8575caed7d099a057c27cb39d4d10f71a5560a41 refs/remotes/origin/domineering
5dd053bbd564f1e0a361f1863b46ff217789ac13 refs/remotes/origin/embedding-prod
4d83563de26ba0ea495315b890a14b33dd4761e8 refs/remotes/origin/enat-coe
fcdaf6f30375ebe66a0ebe6fceb4e34a4f444bc2 refs/remotes/origin/enriched
3f74a06d5247e841c86b3299f303acb4b87511d9 refs/remotes/origin/enriched_abstract
69d4f52cea1174ffbf5f3be8f424ae34fcdae47a refs/remotes/origin/equalizers
43c5284fc6c7608e81745aee8af1982f379bc9ce refs/remotes/origin/equiv_rw
2dc08ec854f3899f05d380f03fd5e73b70c117a7 refs/remotes/origin/equiv_rw_functorial
320bbb60a74cc77b1062b97d0dc7279c69c9c2e4 refs/remotes/origin/euclidean-domain
9d48c2cdc175e28247cef9fa7dd906557fbe7481 refs/remotes/origin/facilitate-external-pr
0c8a3e334d19b0de0d13ee3a27a143642bf59315 refs/remotes/origin/fiber
78ac8d321c2601a9d0161f9ec006fbca3f6b2d8f refs/remotes/origin/filtered-colimits
3881c3a49ccaeef57904c02c71b3bcb8989c9e88 refs/remotes/origin/filtered-colimits-2
82820a9a56c02fc9d60f1302ae511a0a4f89a972 refs/remotes/origin/finset-sum-reindex
a59647845be61160a0c9850fa2174375a69c8dd5 refs/remotes/origin/fold_with_index
f5c0a592fd6fc218899c092e18fa72e8e807bac3 refs/remotes/origin/fpvandoorn-patch-1
28dae2bcd9458a7f9c5b8076421a37404756507a refs/remotes/origin/functorial
221b3d7c9ebb063ed88e0c6832b860e46eeb213e refs/remotes/origin/fundamental-groupoid
6f5ee17b2b2f1c278228c2645aef5b5c947859ba refs/remotes/origin/gen-fun
e6ffc475f1c36dad97d44aefc38bc3a24cc2f9b5 refs/remotes/origin/gitlab-build
c2cceb5feafda5ef4fc79677277c057f76aa55af refs/remotes/origin/gluing-functions
dcd8096166906981c44855840088939c9a1a37cc refs/remotes/origin/group-with-zero-new-files
20852be98a8269cde9959989622a0d5d9b991b62 refs/remotes/origin/group-with-zero-refactor
9f9ecbeb4fa6d1b0c4fc5f7fae83f3649b8e7b52 refs/remotes/origin/group_ring_lemmas
fe61078b4e2f9985cb712ebd9f064d5016ce29ba refs/remotes/origin/haar-measure
b78bbb66299432e6d52a632f67120a756b15389f refs/remotes/origin/has_coe_to_sort_reducible
1ce7c408c9ffcf6790100212ec384ea47f4d918c refs/remotes/origin/hedetniemi
f4b1fd7c2bc8d653f31ec750ef4fda99c3990435 refs/remotes/origin/henselian
0a95a3aca31e4c8dc94b6934dd75fd2594a21e7b refs/remotes/origin/hom-tactic
5a749bd14935ce6660494e1842359dda196ddac1 refs/remotes/origin/hom_equiv
dda5c0c5c35f9311b20fbde4477548b225121f68 refs/remotes/origin/hom_equiv_2
f5228dbaa4a21b17604200091b8586778d25dfd6 refs/remotes/origin/hygienic
185df11b9c6fc2d8462f304ceb58d7899ed45810 refs/remotes/origin/inaccessible
7859de49f2ba75feaf4ee7f7eafae67e18890446 refs/remotes/origin/induction
bed8a913a829c6dac6c637e73c0895cd6786975d refs/remotes/origin/inner_product_spaces
25e21c15e2924782284d1ea1f1d0008957a50335 refs/remotes/origin/instance_priority3
14f533e0825f560a327559cdafe79ef94fcccc5d refs/remotes/origin/inverse-function
e95b15e9ce8bdd48b1eb3a5cc7a67540380f7f8b refs/remotes/origin/is-integrally-closed
ddbec3aab8fadc7fe640aa8ce18ec506ea80c91f refs/remotes/origin/iso_induction
bfa1c888ef5e4746daa1b9479b23419911eed1ef refs/remotes/origin/iso_rw
b08bb18be11e4859d3f2fd418f644df3a1c62879 refs/remotes/origin/iso_transport
f45fcb696195fe6f731b0b2acc57129a3f8577f2 refs/remotes/origin/jcommelin-patch-1
40b9fa66cefe9f1e5872f1c6381a87d0ba00cb38 refs/remotes/origin/jmc-sandbox
aba9ef998d1d3fa406b1f72e59025c25844d75ab refs/remotes/origin/kbuzzard-tactic-doc-patch
3a173cdef4d15b64cc854840893005ade0f279d7 refs/remotes/origin/kbuzzard_typeclass_inference_doc
f8605067075302183421c98f84d6ee210108516c refs/remotes/origin/kernel
f483b79db19a956d4ede2194b5c7b66cce48ae7b refs/remotes/origin/kmb-digits
c4edcd901ae7e772e63d53cba34a3eb40b12f159 refs/remotes/origin/lc-algebra
6a2607ef3af2b0a5083c03c2b6e3f10a44184fe4 refs/remotes/origin/lean-3.3.0
019b2364cadb1dd8b30c9f13c602d61c19d3b6ea refs/remotes/origin/lean-3.4.1
dd8da5165bd00b07408dbb87173e96908c6926a4 refs/remotes/origin/lean-3.4.2
8535132345bc8c4f48b56ebf89e0db5bcad8b456 refs/remotes/origin/lean-3.5.1
6af37d37ef2e83bac310c4e82b52157e3ae2fbc1 refs/remotes/origin/lean-3.6.1
34bac8d3688807417caaac4a794241ccbbcc95c0 refs/remotes/origin/lean-3.7.1
1b24e0a0c254c390d8997f86fffd8e4c506daa5f refs/remotes/origin/lean-3.7.2
7c3a79163295709be8b6d2cce58c0890c64a1a14 refs/remotes/origin/lint_coe_to_fun
99a8c9a1d51ed514cf39529c2ad365d8325e7385 refs/remotes/origin/local_predicate
88d2e52dbc02606d8037280da65bcffa62528a40 refs/remotes/origin/lucas_lehmer
f0c9b39fedc538d7f4a70587b5d99fe36929cfe2 refs/remotes/origin/maps-int-cl
c9507242274ac18defbceb917f30d6afb8b839a5 refs/remotes/origin/markov
a590d4b50347eae62c4af5209fc5436f3862554f refs/remotes/origin/master
045291efec2a91967bd1cbc7d4a5d48eb8799f69 refs/remotes/origin/mathlib-cache
2688ecb682800913efd28d130d6a033d0a4d5478 refs/remotes/origin/mazur-ulam
7a801f4c33de420c1e17b7e5203c0e700c0141ea refs/remotes/origin/monoid_localization
07fdd2b2b138cf9d4919b4434461f0e959f8890e refs/remotes/origin/monoidal-parenthesisation
45045181f0d2555cee00d7c70f26f57417a5d440 refs/remotes/origin/more_comp
65830f020905eb14362bf21dadc0a2b96e41114d refs/remotes/origin/move_fintype
c03bf77c2391e6bb69385115f3cdba286404bfc2 refs/remotes/origin/mul_action
ef6d7724a9243d6d5d2aad823e508fe721a18c0b refs/remotes/origin/mult-add-docs
aee7efef9a5b7ae26f2998c998a1e044da319065 refs/remotes/origin/mult-irreducible
e63fc69273ed31c18d9ae8416cbaa9ad6cae8596 refs/remotes/origin/mvpolynomial-domain
f16962172f5cb10e94298f4b3d59ca3aae809802 refs/remotes/origin/newback
cba90b28ecc00d83a730c86933959f973b20c930 refs/remotes/origin/olean-remote-cache
79e8d6f0db0a18d34988d398341d56e76da89301 refs/remotes/origin/olean-rs-checks
8bc4750d189a7aaeab49ccaf96a3d9a206758def refs/remotes/origin/operand
5fe351709e1edaea4b3e22860ed6758993e5879d refs/remotes/origin/ordered-comm-monoid
43431be5ab141dcf9a6c7f446cdaf35e4b7f071a refs/remotes/origin/over-limits
d7bbc509181c89b5e0bec1b32830728ec270967f refs/remotes/origin/pderivative
ef1616be46095e8ab790b8fe7f6de50c3a793f46 refs/remotes/origin/pfilter
d53a4f8cb7203b47d4eaf7291e9ffe6efe206589 refs/remotes/origin/pi_instances_monoid_homs
488c8241f5da1da436a2e36069ec3ab93baee0ba refs/remotes/origin/poincare-recurrence
560bf090230fc2e8423fd9f2a28a79e222cd0b70 refs/remotes/origin/presheaf
cc88b1fdf13a0a8543ae1e8143c2fa6b4cbce7fd refs/remotes/origin/primary-ideal
74bedc154e223ba4b0d276c840a1502d085f7076 refs/remotes/origin/prime-avoidance
e53e430f8988010984552863a725f43d5e6b6c9a refs/remotes/origin/prime-class
98fc838a51e96302265d6c5b9927fa474558177f refs/remotes/origin/priority_queue
3d2c9a49c7bc19df7ca3dc2b338ca77079dfa0fe refs/remotes/origin/push-cache
af0065ac9e538425e7da8e2767c1d5cf169a6a58 refs/remotes/origin/quotient_category
61b55345386019999c42e74ae3d40fbccc724325 refs/remotes/origin/refine-struct
737c8c9c2fb119f3860dff658c6337519c1121c5 refs/remotes/origin/remote-install-mac
237963a9420fbceaf6e150a4983a9e649e43fece refs/remotes/origin/rename_var
bc070cd7be5b343ce6a7a614a5b190b315013c60 refs/remotes/origin/rewrite-search
4e57610d0f2e5d7d2095a21dda1fd7772e300cab refs/remotes/origin/rw_hint
52debe4c16bffbd4885abc1b43e8d00f6638787d refs/remotes/origin/semimodule
16a809881f8133126dfb40d2058dc6b37c2a77d1 refs/remotes/origin/seminorm-etc
6e52ca1c08a6ed04e5830b0431813c758ce08b2f refs/remotes/origin/seqcompex
66b634e4f43cbfb0e7231baf283da472f4dd73c7 refs/remotes/origin/serialization
e5d18e3874cc38b0bcb4b7b3783d788f9a189a83 refs/remotes/origin/seul_omega
ff311f03b6eaf534e598aa5fe7ae40f2ee20b8f1 refs/remotes/origin/sgouezel_fin
3d627a6cd2078a6caf1532a499c3d01c75c2c83e refs/remotes/origin/sgouezel_multilinear
e0c2250de50eb6026a19564bf1429c10d3aa1799 refs/remotes/origin/sgouezel_my_omega
70555693fad43540c8c1d7b771a0bb455e9ba5ec refs/remotes/origin/sheaf
9d4b7b72a49876b02285429891f4441db3cee173 refs/remotes/origin/sheaf-2
4f1f2e190feb83ebbd767d57f03f987e8e82538a refs/remotes/origin/sheaf-old
94a12678c53d7d397a23073bc1877c334fc26c63 refs/remotes/origin/sheaves
77cc6185b7f81931990f143f2e4aa82d4917331d refs/remotes/origin/simp-nf2-lint-experiment
b1bfe5f8b7dea8b0671dc7ba232e819ad4cbfe99 refs/remotes/origin/simp-nonconfl-lint
6f3f977cbb4e6c3b65e8f8ceafb5c50dc67ddf50 refs/remotes/origin/simp-red-lint
bedf7712a88f91019cf429f1e2e5fbb99dee47b3 refs/remotes/origin/simp-refl-lint
f6821dc673a6883ca871ca34b4903140c0d22a94 refs/remotes/origin/simps-user-defined-projections
4fc36ae4f9a89be3bfde2f6749eff255bfe2d5a2 refs/remotes/origin/sites
b2d1697588efb123933928094cb8dd91b8125f8c refs/remotes/origin/slim-check
b773ba17297d30bdd05dea256ed0474be57dce54 refs/remotes/origin/solve_by_elim_bug_2
48a5d7c99a83709e5736398db58ef39fb4bc0821 refs/remotes/origin/strong-recursion
561a956029a02f9ad4592ad57989452131ebd786 refs/remotes/origin/structured-stalks
4e906d0268a99ada379d674a2b36f3148fac6fc3 refs/remotes/origin/submonoid-review
8abf87e46f82f3c8629ff344fcdd521779a8370d refs/remotes/origin/sum-mem-closure
3bea151a0c2ecdc35644e5dfeae7ecd542f1ae10 refs/remotes/origin/sylow
517dfdac0926a1d5632dc2f97b38bfc8bb2156a1 refs/remotes/origin/tactic-utils
146b1e532088d62a44dd66d4af25ed2507777045 refs/remotes/origin/tendsto_comp
9cf6fef3d8f9dfd78396876e68213e166cdc9067 refs/remotes/origin/transport
a9d13b65a0618b7bf129fbc40d57b6de79ab7fdc refs/remotes/origin/unbounded-recursion
07bc270c0c103be353a26858057d9c9b32e9b675 refs/remotes/origin/unbounded-recursion-3.5
b1d48da9e4d4c9bfb1aac3d6c529c70bb7358e97 refs/remotes/origin/union-find
51677da632705c4be0d41b27ddfe3778abb0daa2 refs/remotes/origin/user-projections
d72086f59056891cbca51d819b99496b98402d71 refs/remotes/origin/utf8
cb99345c5c21928287c3ea486fc7db94300c9f18 refs/remotes/origin/variable-a
6535e2f0bd4fc9153ffebe2c8cbc71cd8b8925b0 refs/remotes/origin/witt-vectors
9e6b710e7aff4c26d671ff6e839310fa2b6f2978 refs/remotes/origin/zigzags
4bb8d4475f897c8997100d31fe84b33050444374 refs/tags/snapshot-2019-10
