gistfile1.txt

% git config -l --local
core.repositoryformatversion=0
core.filemode=true
core.bare=false
core.logallrefupdates=true
core.ignorecase=true
core.precomposeunicode=true
core.worktree=../../../../../projects/lean/mathlib4-2
remote.origin.url=git@github.com:leanprover-community/mathlib4.git
remote.origin.fetch=+refs/heads/*:refs/remotes/origin/*
remote.origin.gh-resolved=base
branch.master.remote=origin
branch.master.merge=refs/heads/master
branch.master.github-pr-owner-number=leanprover-community#mathlib4#1367
remote.fork.url=git@github.com:semorrison/mathlib4.git
remote.fork.fetch=+refs/heads/*:refs/remotes/fork/*
branch.ListM_functions.remote=origin
branch.ListM_functions.merge=refs/heads/ListM_functions
branch.ListM_functions.github-pr-owner-number=leanprover-community#mathlib4#3618
branch.sagredo.remote=fork
branch.sagredo.merge=refs/heads/sagredo
branch.infotrees.remote=origin
branch.infotrees.merge=refs/heads/infotrees
branch.sagredo-widget.remote=origin
branch.sagredo-widget.merge=refs/heads/sagredo-widget
branch.nondet.remote=origin
branch.nondet.merge=refs/heads/nondet
branch.nondet.github-pr-owner-number=leanprover-community#mathlib4#3464
branch.port/MeasureTheory.Measure.OuterMeasure.remote=https://github.com/MonadMaverick/mathlib4.git
branch.port/MeasureTheory.Measure.OuterMeasure.pushremote=https://github.com/MonadMaverick/mathlib4.git
branch.port/MeasureTheory.Measure.OuterMeasure.merge=refs/heads/port/MeasureTheory.Measure.OuterMeasure
branch.port/RingTheory.TensorProduct.remote=origin
branch.port/RingTheory.TensorProduct.merge=refs/heads/port/RingTheory.TensorProduct
branch.port/RingTheory.TensorProduct.github-pr-owner-number=leanprover-community#mathlib4#3649
branch.slim_check_metam.remote=origin
branch.slim_check_metam.merge=refs/heads/slim_check_metam
branch.slim_check_metam.github-pr-owner-number=leanprover-community#mathlib4#3838
branch.reenableeta.remote=origin
branch.reenableeta.merge=refs/heads/reenableeta
branch.reenableeta.github-pr-owner-number=leanprover-community#mathlib4#3414
branch.reenableeta_maxHeartbeats.remote=origin
branch.reenableeta_maxHeartbeats.merge=refs/heads/reenableeta_maxHeartbeats
branch.reenableeta_maxHeartbeats.github-pr-owner-number=leanprover-community#mathlib4#3845
branch.reenableeta_OperatorNorm.remote=origin
branch.reenableeta_OperatorNorm.merge=refs/heads/reenableeta_OperatorNorm
branch.reenableeta_OperatorNorm.github-pr-owner-number=leanprover-community#mathlib4#3903
branch.IdealQuotient_instances.remote=origin
branch.IdealQuotient_instances.merge=refs/heads/IdealQuotient_instances
branch.IdealQuotient_instances.github-pr-owner-number=leanprover-community#mathlib4#3906
branch.port/Analysis.NormedSpace.OperatorNorm.remote=origin
branch.port/Analysis.NormedSpace.OperatorNorm.merge=refs/heads/port/Analysis.NormedSpace.OperatorNorm
branch.port/Analysis.NormedSpace.OperatorNorm.github-pr-owner-number=leanprover-community#mathlib4#3708
branch.RingMod.remote=origin
branch.RingMod.merge=refs/heads/RingMod
branch.bump_dependencies_2023-05-16.remote=origin
branch.bump_dependencies_2023-05-16.merge=refs/heads/bump_dependencies_2023-05-16
branch.bump_dependencies_2023-05-16.github-pr-owner-number=leanprover-community#mathlib4#4012
branch.OrderedCommGroup_instances.remote=origin
branch.OrderedCommGroup_instances.merge=refs/heads/OrderedCommGroup_instances
branch.OrderedCommGroup_instances.github-pr-owner-number=leanprover-community#mathlib4#3905
branch.port/AlgebraicGeometry.Stalks.remote=origin
branch.port/AlgebraicGeometry.Stalks.merge=refs/heads/port/AlgebraicGeometry.Stalks
branch.port/AlgebraicGeometry.Stalks.github-pr-owner-number=leanprover-community#mathlib4#4498
branch.fix_PresheafedSpace.remote=origin
branch.fix_PresheafedSpace.merge=refs/heads/fix_PresheafedSpace
branch.fix_PresheafedSpace.github-pr-owner-number=leanprover-community#mathlib4#4558
branch.fix_failed.remote=origin
branch.fix_failed.merge=refs/heads/fix_failed
branch.fix_failed.github-pr-owner-number=leanprover-community#mathlib4#4685
branch.port/CategoryTheory.WithTerminal.remote=origin
branch.port/CategoryTheory.WithTerminal.merge=refs/heads/port/CategoryTheory.WithTerminal
branch.port/CategoryTheory.WithTerminal.github-pr-owner-number=leanprover-community#mathlib4#2630
branch.port/CategoryTheory.Closed.FunctorCategory.remote=origin
branch.port/CategoryTheory.Closed.FunctorCategory.merge=refs/heads/port/CategoryTheory.Closed.FunctorCategory
branch.port/CategoryTheory.Closed.FunctorCategory.github-pr-owner-number=leanprover-community#mathlib4#4686
branch.port/Analysis.BoxIntegral.Basic.remote=origin
branch.port/Analysis.BoxIntegral.Basic.merge=refs/heads/port/Analysis.BoxIntegral.Basic
branch.port/Analysis.BoxIntegral.Basic.github-pr-owner-number=leanprover-community#mathlib4#4695
branch.port/Geometry.Manifold.ContMdiff.remote=origin
branch.port/Geometry.Manifold.ContMdiff.merge=refs/heads/port/Geometry.Manifold.ContMdiff
branch.port/Geometry.Manifold.ContMdiff.github-pr-owner-number=leanprover-community#mathlib4#4656
branch.concrete_cat_fun_like.remote=origin
branch.concrete_cat_fun_like.merge=refs/heads/concrete_cat_fun_like
branch.concrete_cat_fun_like.github-pr-owner-number=leanprover-community#mathlib4#4693
branch.port/RepresentationTheory.Action.remote=origin
branch.port/RepresentationTheory.Action.merge=refs/heads/port/RepresentationTheory.Action
branch.port/RepresentationTheory.Action.github-pr-owner-number=leanprover-community#mathlib4#4700
branch.port/Algebra.Category.Module.Monoidal.Closed.remote=origin
branch.port/Algebra.Category.Module.Monoidal.Closed.merge=refs/heads/port/Algebra.Category.Module.Monoidal.Closed
branch.port/Algebra.Category.Module.Monoidal.Closed.github-pr-owner-number=leanprover-community#mathlib4#4696
branch.discrete_cases.remote=origin
branch.discrete_cases.merge=refs/heads/discrete_cases
branch.discrete_cases.github-pr-owner-number=leanprover-community#mathlib4#4780
branch.library_search_tired.remote=origin
branch.library_search_tired.merge=refs/heads/library_search_tired
branch.library_search_tired.github-pr-owner-number=leanprover-community#mathlib4#4828
branch.port/FieldTheory.Normal.remote=origin
branch.port/FieldTheory.Normal.merge=refs/heads/port/FieldTheory.Normal
branch.port/FieldTheory.Normal.github-pr-owner-number=leanprover-community#mathlib4#4856
branch.port/Analysis.NormedSpace.ContinuousAffineMap.remote=origin
branch.port/Analysis.NormedSpace.ContinuousAffineMap.merge=refs/heads/port/Analysis.NormedSpace.ContinuousAffineMap
branch.port/Analysis.NormedSpace.ContinuousAffineMap.github-pr-owner-number=leanprover-community#mathlib4#4867
branch.port/Algebra.Category.FgModule.Basic.remote=origin
branch.port/Algebra.Category.FgModule.Basic.merge=refs/heads/port/Algebra.Category.FgModule.Basic
branch.review_automation.remote=origin
branch.review_automation.merge=refs/heads/review_automation
branch.review_automation.github-pr-owner-number=leanprover-community#mathlib4#4793
branch.library_search_hole.remote=origin
branch.library_search_hole.merge=refs/heads/library_search_hole
branch.library_search_hole.github-pr-owner-number=leanprover-community#mathlib4#4109
branch.library_search_rename.remote=origin
branch.library_search_rename.merge=refs/heads/library_search_rename
branch.library_search_rename.github-pr-owner-number=leanprover-community#mathlib4#4885
branch.port/FieldTheory.IsAlgClosed.Basic.remote=origin
branch.port/FieldTheory.IsAlgClosed.Basic.merge=refs/heads/port/FieldTheory.IsAlgClosed.Basic
branch.port/FieldTheory.IsAlgClosed.Basic.github-pr-owner-number=leanprover-community#mathlib4#4888
branch.fix-2265.remote=origin
branch.fix-2265.merge=refs/heads/fix-2265
branch.fix-2265.github-pr-owner-number=leanprover-community#mathlib4#4933
branch.simp_cleanup.remote=origin
branch.simp_cleanup.merge=refs/heads/simp_cleanup
branch.simp_cleanup.github-pr-owner-number=leanprover-community#mathlib4#4954
branch.install_scripts.remote=origin
branch.install_scripts.merge=refs/heads/install_scripts
branch.install_scripts.github-pr-owner-number=leanprover-community#mathlib4#4965
branch.port/Algebra.Category.Module.FilteredColimits.remote=origin
branch.port/Algebra.Category.Module.FilteredColimits.merge=refs/heads/port/Algebra.Category.Module.FilteredColimits
branch.port/Algebra.Category.Module.FilteredColimits.github-pr-owner-number=leanprover-community#mathlib4#4949
branch.formatting_0610.remote=origin
branch.formatting_0610.merge=refs/heads/formatting_0610
branch.formatting_0610.github-pr-owner-number=leanprover-community#mathlib4#4947
branch.port/CategoryTheory.Monoidal.Center.remote=origin
branch.port/CategoryTheory.Monoidal.Center.merge=refs/heads/port/CategoryTheory.Monoidal.Center
branch.port/CategoryTheory.Monoidal.Center.github-pr-owner-number=leanprover-community#mathlib4#4941
branch.port/MeasureTheory.Function.ConditionalExpectation.Basic.remote=origin
branch.port/MeasureTheory.Function.ConditionalExpectation.Basic.merge=refs/heads/port/MeasureTheory.Function.ConditionalExpectation.Basic
branch.port/MeasureTheory.Function.ConditionalExpectation.Basic.github-pr-owner-number=leanprover-community#mathlib4#4898
branch.port/SetTheory.Game.Basic.remote=origin
branch.port/SetTheory.Game.Basic.merge=refs/heads/port/SetTheory.Game.Basic
branch.port/SetTheory.Game.Basic.github-pr-owner-number=leanprover-community#mathlib4#4311
branch.port/FieldTheory.SplittingField.Construction.remote=origin
branch.port/FieldTheory.SplittingField.Construction.merge=refs/heads/port/FieldTheory.SplittingField.Construction
branch.port/FieldTheory.SplittingField.Construction.github-pr-owner-number=leanprover-community#mathlib4#4891
branch.port/CategoryTheory.Bicategory.FunctorBicategory.remote=origin
branch.port/CategoryTheory.Bicategory.FunctorBicategory.merge=refs/heads/port/CategoryTheory.Bicategory.FunctorBicategory
branch.port/CategoryTheory.Bicategory.FunctorBicategory.github-pr-owner-number=leanprover-community#mathlib4#4976
branch.port/Probability.Density.remote=origin
branch.port/Probability.Density.merge=refs/heads/port/Probability.Density
branch.port/Probability.Density.github-pr-owner-number=leanprover-community#mathlib4#4962
branch.port/Algebra.Lie.Engel.remote=origin
branch.port/Algebra.Lie.Engel.merge=refs/heads/port/Algebra.Lie.Engel
branch.port/Algebra.Lie.Engel.github-pr-owner-number=leanprover-community#mathlib4#4926
branch.port/Algebra.Category.Module.Subobject.remote=origin
branch.port/Algebra.Category.Module.Subobject.merge=refs/heads/port/Algebra.Category.Module.Subobject
branch.port/Algebra.Category.Module.Subobject.github-pr-owner-number=leanprover-community#mathlib4#4224
branch.port/Order.Category.BddOrd.remote=origin
branch.port/Order.Category.BddOrd.merge=refs/heads/port/Order.Category.BddOrd
branch.port/Order.Category.BddOrd.github-pr-owner-number=leanprover-community#mathlib4#4984
branch.port/CategoryTheory.Closed.Functor.remote=origin
branch.port/CategoryTheory.Closed.Functor.merge=refs/heads/port/CategoryTheory.Closed.Functor
branch.port/CategoryTheory.Closed.Functor.github-pr-owner-number=leanprover-community#mathlib4#4922
branch.port/AlgebraicGeometry.Scheme.remote=origin
branch.port/AlgebraicGeometry.Scheme.merge=refs/heads/port/AlgebraicGeometry.Scheme
branch.port/AlgebraicGeometry.Scheme.github-pr-owner-number=leanprover-community#mathlib4#5040
branch.port/Topology.Gluing.remote=origin
branch.port/Topology.Gluing.merge=refs/heads/port/Topology.Gluing
branch.port/Topology.Gluing.github-pr-owner-number=leanprover-community#mathlib4#3987
branch.port/Counterexamples.SorgenfreyLine.remote=origin
branch.port/Counterexamples.SorgenfreyLine.merge=refs/heads/port/Counterexamples.SorgenfreyLine
branch.port/Counterexamples.SorgenfreyLine.github-pr-owner-number=leanprover-community#mathlib4#4978
branch.cache_archive.remote=origin
branch.cache_archive.merge=refs/heads/cache_archive
branch.cache_archive.github-pr-owner-number=leanprover-community#mathlib4#5109
branch.release-20230616-simp.remote=origin
branch.release-20230616-simp.merge=refs/heads/release-20230616-simp
branch.release-20230616-simp.github-pr-owner-number=leanprover-community#mathlib4#5141
branch.bump-std.remote=origin
branch.bump-std.merge=refs/heads/bump-std
branch.bump-std.github-pr-owner-number=leanprover-community#mathlib4#5219
branch.avoid_NatTrans_ext.remote=origin
branch.avoid_NatTrans_ext.merge=refs/heads/avoid_NatTrans_ext
branch.avoid_NatTrans_ext.github-pr-owner-number=leanprover-community#mathlib4#5228
branch.hom_ext.remote=origin
branch.hom_ext.merge=refs/heads/hom_ext
branch.hom_ext.github-pr-owner-number=leanprover-community#mathlib4#5242
branch.change_at_porting_note.remote=origin
branch.change_at_porting_note.merge=refs/heads/change_at_porting_note
branch.change_at_porting_note.github-pr-owner-number=leanprover-community#mathlib4#5243
branch.rw_porting_notes.remote=origin
branch.rw_porting_notes.merge=refs/heads/rw_porting_notes
branch.rw_porting_notes.github-pr-owner-number=leanprover-community#mathlib4#5244
branch.port/Archive.Imo.Imo1998Q2.remote=origin
branch.port/Archive.Imo.Imo1998Q2.merge=refs/heads/port/Archive.Imo.Imo1998Q2
branch.port/Archive.Imo.Imo1998Q2.github-pr-owner-number=leanprover-community#mathlib4#5157
branch.ListM_parallel.remote=origin
branch.ListM_parallel.merge=refs/heads/ListM_parallel
branch.ListM_parallel.github-pr-owner-number=leanprover-community#mathlib4#3978
branch.ext_followup.remote=origin
branch.ext_followup.merge=refs/heads/ext_followup
branch.ext_followup.github-pr-owner-number=leanprover-community#mathlib4#5258
branch.fix_ring_nf.remote=origin
branch.fix_ring_nf.merge=refs/heads/fix_ring_nf
branch.fix_ring_nf.github-pr-owner-number=leanprover-community#mathlib4#5271
branch.zero_nhd.remote=origin
branch.zero_nhd.merge=refs/heads/zero_nhd
branch.zero_nhd.github-pr-owner-number=leanprover-community#mathlib4#5279
branch.alexjbest/rewrites-at.remote=origin
branch.alexjbest/rewrites-at.merge=refs/heads/alexjbest/rewrites-at
branch.alexjbest/rewrites-at.github-pr-owner-number=leanprover-community#mathlib4#4157
branch.port/CategoryTheory.Monad.EquivMon.remote=origin
branch.port/CategoryTheory.Monad.EquivMon.merge=refs/heads/port/CategoryTheory.Monad.EquivMon
branch.port/CategoryTheory.Monad.EquivMon.github-pr-owner-number=leanprover-community#mathlib4#5086
branch.skolem_universes.remote=origin
branch.skolem_universes.merge=refs/heads/skolem_universes
branch.skolem_universes.github-pr-owner-number=leanprover-community#mathlib4#5325
branch.bump-nightly-2023-06-20.remote=origin
branch.bump-nightly-2023-06-20.merge=refs/heads/bump-nightly-2023-06-20
branch.relaxedAutoImplicit.remote=origin
branch.relaxedAutoImplicit.merge=refs/heads/relaxedAutoImplicit
branch.relaxedAutoImplicit.github-pr-owner-number=leanprover-community#mathlib4#5277
branch.port/AlgebraicGeometry.GammaSpecAdjunction.remote=origin
branch.port/AlgebraicGeometry.GammaSpecAdjunction.merge=refs/heads/port/AlgebraicGeometry.GammaSpecAdjunction
branch.port/AlgebraicGeometry.GammaSpecAdjunction.github-pr-owner-number=leanprover-community#mathlib4#5079
branch.rm_AddGroupWithZeroNhd.remote=origin
branch.rm_AddGroupWithZeroNhd.merge=refs/heads/rm_AddGroupWithZeroNhd
branch.rm_AddGroupWithZeroNhd.github-pr-owner-number=leanprover-community#mathlib4#5357
branch.functoriality_tactic.remote=origin
branch.functoriality_tactic.merge=refs/heads/functoriality_tactic
branch.count_heartbeats.remote=origin
branch.count_heartbeats.merge=refs/heads/count_heartbeats
branch.count_heartbeats.github-pr-owner-number=leanprover-community#mathlib4#5365
branch.bump-nightly-2023-06-22.remote=origin
branch.bump-nightly-2023-06-22.merge=refs/heads/bump-nightly-2023-06-22
branch.bump-nightly-2023-06-22.github-pr-owner-number=leanprover-community#mathlib4#5409
branch.panic-for-investigation.remote=origin
branch.panic-for-investigation.merge=refs/heads/panic-for-investigation
branch.max_eq_max.remote=origin
branch.max_eq_max.merge=refs/heads/max_eq_max
branch.max_eq_max.github-pr-owner-number=leanprover-community#mathlib4#5416
branch.RB/PowerBasis'.remote=origin
branch.RB/PowerBasis'.merge=refs/heads/RB/PowerBasis'
branch.RB/PowerBasis'.github-pr-owner-number=leanprover-community#mathlib4#5423
branch.port/SetTheory.Game.Ordinal.remote=origin
branch.port/SetTheory.Game.Ordinal.merge=refs/heads/port/SetTheory.Game.Ordinal
branch.port/SetTheory.Game.Ordinal.github-pr-owner-number=leanprover-community#mathlib4#5480
branch.tweak_readme.remote=origin
branch.tweak_readme.merge=refs/heads/tweak_readme
branch.slim_check_headers.remote=origin
branch.slim_check_headers.merge=refs/heads/slim_check_headers
branch.slim_check_headers.github-pr-owner-number=leanprover-community#mathlib4#5522
branch.replace_Nat_eliminator.remote=origin
branch.replace_Nat_eliminator.merge=refs/heads/replace_Nat_eliminator
branch.rewrites_fixes.remote=origin
branch.rewrites_fixes.merge=refs/heads/rewrites_fixes
branch.rewrites_fixes.github-pr-owner-number=leanprover-community#mathlib4#5563
branch.forward_port_19153.remote=origin
branch.forward_port_19153.merge=refs/heads/forward_port_19153
branch.forward_port_19153.github-pr-owner-number=leanprover-community#mathlib4#5536
branch.ListM_a_star.remote=origin
branch.ListM_a_star.merge=refs/heads/ListM_a_star
branch.ListM_a_star.github-pr-owner-number=leanprover-community#mathlib4#3973
branch.reorder_universes_concrete.remote=origin
branch.reorder_universes_concrete.merge=refs/heads/reorder_universes_concrete
branch.reorder_universes_concrete.github-pr-owner-number=leanprover-community#mathlib4#5605
branch.pp_with_univ.remote=origin
branch.pp_with_univ.merge=refs/heads/pp_with_univ
branch.pp_with_univ.github-pr-owner-number=leanprover-community#mathlib4#5622
branch.UnivLE.remote=origin
branch.UnivLE.merge=refs/heads/UnivLE
branch.UnivLE_types.remote=origin
branch.UnivLE_types.merge=refs/heads/UnivLE_types
branch.shrink_stuff.remote=origin
branch.shrink_stuff.merge=refs/heads/shrink_stuff
branch.shrink_stuff.github-pr-owner-number=leanprover-community#mathlib4#5645
branch.UnivLE_MonCat.remote=origin
branch.UnivLE_MonCat.merge=refs/heads/UnivLE_MonCat
branch.graph_exe.remote=origin
branch.graph_exe.merge=refs/heads/graph_exe
branch.graph_exe.github-pr-owner-number=leanprover-community#mathlib4#5513
branch.UnivLE_19153.remote=origin
branch.UnivLE_19153.merge=refs/heads/UnivLE_19153
branch.wide_pushouts.remote=origin
branch.wide_pushouts.merge=refs/heads/wide_pushouts
branch.ulift_typo.remote=origin
branch.ulift_typo.merge=refs/heads/ulift_typo
branch.ulift_typo.github-pr-owner-number=leanprover-community#mathlib4#5701
branch.ess_image.remote=origin
branch.ess_image.merge=refs/heads/ess_image
branch.ess_image.github-pr-owner-number=leanprover-community#mathlib4#5702
branch.UnivLE_UniqueGluing.remote=origin
branch.UnivLE_UniqueGluing.merge=refs/heads/UnivLE_UniqueGluing
branch.leantar.remote=origin
branch.leantar.merge=refs/heads/leantar
branch.leantar.github-pr-owner-number=leanprover-community#mathlib4#5710
branch.lucas_lehmer_tailrec.remote=origin
branch.lucas_lehmer_tailrec.merge=refs/heads/lucas_lehmer_tailrec
branch.find_home.remote=origin
branch.find_home.merge=refs/heads/find_home
branch.find_home.github-pr-owner-number=leanprover-community#mathlib4#5731
branch.lucas_lehmer_trickMod.remote=origin
branch.lucas_lehmer_trickMod.merge=refs/heads/lucas_lehmer_trickMod
branch.port/AlgebraicGeometry.Morphisms.RingHomProperties.remote=origin
branch.port/AlgebraicGeometry.Morphisms.RingHomProperties.merge=refs/heads/port/AlgebraicGeometry.Morphisms.RingHomProperties
branch.port/AlgebraicGeometry.Morphisms.RingHomProperties.github-pr-owner-number=leanprover-community#mathlib4#5663
branch.small_module.remote=origin
branch.small_module.merge=refs/heads/small_module
branch.small_module.github-pr-owner-number=leanprover-community#mathlib4#5769
branch.edit_distance.remote=origin
branch.edit_distance.merge=refs/heads/edit_distance
branch.fin_enum_casing.remote=origin
branch.fin_enum_casing.merge=refs/heads/fin_enum_casing
branch.fin_enum_casing.github-pr-owner-number=leanprover-community#mathlib4#5844
branch.minimum_le_coe_iff.remote=origin
branch.minimum_le_coe_iff.merge=refs/heads/minimum_le_coe_iff
branch.minimum_le_coe_iff.github-pr-owner-number=leanprover-community#mathlib4#5845
branch.cache_dots.remote=origin
branch.cache_dots.merge=refs/heads/cache_dots
branch.cache_dots.github-pr-owner-number=leanprover-community#mathlib4#5577
branch.says.remote=origin
branch.says.merge=refs/heads/says
branch.says.github-pr-owner-number=leanprover-community#mathlib4#5980
branch.j-loreaux/UnitizationNorm-v2.remote=origin
branch.j-loreaux/UnitizationNorm-v2.merge=refs/heads/j-loreaux/UnitizationNorm-v2
branch.j-loreaux/UnitizationNorm-v2.github-pr-owner-number=leanprover-community#mathlib4#5742
branch.edit_distance_estimator.remote=origin
branch.edit_distance_estimator.merge=refs/heads/edit_distance_estimator
branch.rws.github-pr-base-branch=leanprover-community#mathlib4#edit_distance_estimator
branch.rws.remote=origin
branch.rws.merge=refs/heads/rws
branch.cache_no_traverse.github-pr-base-branch=leanprover-community#mathlib4#master
branch.cache_no_traverse.remote=origin
branch.cache_no_traverse.merge=refs/heads/cache_no_traverse
branch.cache_no_traverse.github-pr-owner-number=leanprover-community#mathlib4#6197
branch.bump-nightly-2023-07-24.github-pr-base-branch=leanprover-community#mathlib4#master
branch.bump-nightly-2023-07-24.remote=origin
branch.bump-nightly-2023-07-24.merge=refs/heads/bump-nightly-2023-07-24
branch.bump-nightly-2023-07-24.github-pr-owner-number=leanprover-community#mathlib4#6200
branch.bump-nightly-2023-07-25.remote=origin
branch.bump-nightly-2023-07-25.merge=refs/heads/bump-nightly-2023-07-25
branch.bump-nightly-2023-07-25.github-pr-owner-number=leanprover-community#mathlib4#6201
branch.rw_search.remote=origin
branch.rw_search.merge=refs/heads/rw_search
branch.rw_search.github-pr-owner-number=leanprover-community#mathlib4#6120
branch.forward_port_15296.github-pr-base-branch=leanprover-community#mathlib4#master
branch.forward_port_15296.remote=origin
branch.forward_port_15296.merge=refs/heads/forward_port_15296
branch.edit_distance_estimator_new.remote=origin
branch.edit_distance_estimator_new.merge=refs/heads/edit_distance_estimator_new
branch.edit_distance_estimator_new.github-pr-owner-number=leanprover-community#mathlib4#6119
branch.formalize-llm.remote=origin
branch.formalize-llm.merge=refs/heads/formalize-llm
branch.formalize-llm.github-pr-owner-number=leanprover-community#mathlib4#3808
branch.simp_failIfUnchanged.remote=origin
branch.simp_failIfUnchanged.merge=refs/heads/simp_failIfUnchanged
branch.simp_failIfUnchanged.github-pr-owner-number=leanprover-community#mathlib4#6019
branch.monoidal_complex.remote=origin
branch.monoidal_complex.merge=refs/heads/monoidal_complex
branch.rank_range_of_injective.github-pr-base-branch=leanprover-community#mathlib4#master
branch.rank_range_of_injective.remote=origin
branch.rank_range_of_injective.merge=refs/heads/rank_range_of_injective
branch.rank_range_of_injective.github-pr-owner-number=leanprover-community#mathlib4#6301
branch.Injective.eq_iff_simp.github-pr-base-branch=leanprover-community#mathlib4#master
branch.Injective.eq_iff_simp.remote=origin
branch.Injective.eq_iff_simp.merge=refs/heads/Injective.eq_iff_simp
branch.Injective.eq_iff_simp.github-pr-owner-number=leanprover-community#mathlib4#6323
branch.presheaf_of_modules.remote=origin
branch.presheaf_of_modules.merge=refs/heads/presheaf_of_modules
branch.presheaf_of_modules.github-pr-owner-number=leanprover-community#mathlib4#4670
branch.cancel_simps.remote=origin
branch.cancel_simps.merge=refs/heads/cancel_simps
branch.cancel_simps.github-pr-owner-number=leanprover-community#mathlib4#6300
branch.more_simps.remote=origin
branch.more_simps.merge=refs/heads/more_simps
branch.more_simps.github-pr-owner-number=leanprover-community#mathlib4#6302
branch.bump-nightly-2023-08-03.github-pr-base-branch=leanprover-community#mathlib4#master
branch.bump-nightly-2023-08-03.remote=origin
branch.bump-nightly-2023-08-03.merge=refs/heads/bump-nightly-2023-08-03
branch.comp_lift.github-pr-base-branch=leanprover-community#mathlib4#master
branch.comp_lift.remote=origin
branch.comp_lift.merge=refs/heads/comp_lift
branch.comp_lift.github-pr-owner-number=leanprover-community#mathlib4#6355
branch.porting_porting_note.github-pr-base-branch=leanprover-community#mathlib4#master
branch.porting_porting_note.remote=origin
branch.porting_porting_note.merge=refs/heads/porting_porting_note
branch.porting_porting_note.github-pr-owner-number=leanprover-community#mathlib4#6378
branch.says_ignores_comments.github-pr-base-branch=leanprover-community#mathlib4#master
branch.says_ignores_comments.remote=origin
branch.says_ignores_comments.merge=refs/heads/says_ignores_comments
branch.says_ignores_comments.github-pr-owner-number=leanprover-community#mathlib4#6381
branch.ymizuno-monoidal-whiskering.remote=origin
branch.ymizuno-monoidal-whiskering.merge=refs/heads/ymizuno-monoidal-whiskering
branch.ymizuno-monoidal-whiskering.github-pr-owner-number=leanprover-community#mathlib4#6307
branch.set_image_simp_lemmas.remote=origin
branch.set_image_simp_lemmas.merge=refs/heads/set_image_simp_lemmas
branch.set_image_simp_lemmas.github-pr-owner-number=leanprover-community#mathlib4#6298
branch.of_comp_iff_simp.remote=origin
branch.of_comp_iff_simp.merge=refs/heads/of_comp_iff_simp
branch.of_comp_iff_simp.github-pr-owner-number=leanprover-community#mathlib4#6303
branch.mem_map_priorities.remote=origin
branch.mem_map_priorities.merge=refs/heads/mem_map_priorities
branch.mem_map_priorities.github-pr-owner-number=leanprover-community#mathlib4#6327
branch.bump-nightly-2023-08-05.github-pr-base-branch=leanprover-community#mathlib4#master
branch.bump-nightly-2023-08-05.remote=origin
branch.bump-nightly-2023-08-05.merge=refs/heads/bump-nightly-2023-08-05
branch.auto-merge.github-pr-base-branch=leanprover-community#mathlib4#master
branch.auto-merge.remote=origin
branch.auto-merge.merge=refs/heads/auto-merge
branch.auto-merge.github-pr-owner-number=leanprover-community#mathlib4#6415
branch.try_this_rws.github-pr-base-branch=leanprover-community#mathlib4#master
branch.try_this_rws.remote=origin
branch.try_this_rws.merge=refs/heads/try_this_rws
branch.try_this_rws.github-pr-owner-number=leanprover-community#mathlib4#6434
branch.ListM_to_Std.remote=origin
branch.ListM_to_Std.merge=refs/heads/ListM_to_Std
branch.ListM_to_Std.github-pr-owner-number=leanprover-community#mathlib4#6413
branch.guard_msgs_exact_tests.remote=origin
branch.guard_msgs_exact_tests.merge=refs/heads/guard_msgs_exact_tests
branch.guard_msgs_exact_tests.github-pr-owner-number=leanprover-community#mathlib4#6439
branch.instance_name_vrachy.remote=origin
branch.instance_name_vrachy.merge=refs/heads/instance_name_vrachy
branch.instance_name_vrachy.github-pr-owner-number=leanprover-community#mathlib4#6423
branch.rw_fixes.remote=origin
branch.rw_fixes.merge=refs/heads/rw_fixes
branch.rw_fixes.github-pr-owner-number=leanprover-community#mathlib4#6088
branch.FilePathToExpr.remote=origin
branch.FilePathToExpr.merge=refs/heads/FilePathToExpr
branch.FilePathToExpr.github-pr-owner-number=leanprover-community#mathlib4#6480
branch.withImportModules.remote=origin
branch.withImportModules.merge=refs/heads/withImportModules
branch.withImportModules.github-pr-owner-number=leanprover-community#mathlib4#6482
branch.edit_distance_defs.remote=origin
branch.edit_distance_defs.merge=refs/heads/edit_distance_defs
branch.edit_distance_defs.github-pr-owner-number=leanprover-community#mathlib4#6117
branch.edit_distance_bounds.remote=origin
branch.edit_distance_bounds.merge=refs/heads/edit_distance_bounds
branch.edit_distance_bounds.github-pr-owner-number=leanprover-community#mathlib4#6118
branch.monoidal_complex_jriou.remote=origin
branch.monoidal_complex_jriou.merge=refs/heads/monoidal_complex_jriou
branch.monoidal_complex_jriou.github-pr-owner-number=leanprover-community#mathlib4#6379
branch.bump-nightly-2023-08-16.github-pr-base-branch=leanprover-community#mathlib4#master
branch.bump-nightly-2023-08-16.remote=origin
branch.bump-nightly-2023-08-16.merge=refs/heads/bump-nightly-2023-08-16
branch.bump-nightly-2023-08-16.github-pr-owner-number=leanprover-community#mathlib4#6610
branch.cache_lock.github-pr-base-branch=leanprover-community#mathlib4#master
branch.cache_lock.remote=origin
branch.cache_lock.merge=refs/heads/cache_lock
branch.cache_lock.github-pr-owner-number=leanprover-community#mathlib4#6611
branch.dupNamespace_cleanup.github-pr-base-branch=leanprover-community#mathlib4#master
branch.dupNamespace_cleanup.remote=origin
branch.dupNamespace_cleanup.merge=refs/heads/dupNamespace_cleanup
pull.rebase=false