Algebraic geometry PRs

Stream: PR reviews

[Andrew Yang]

Here are some AG PRs that have been through some reviews and got some form of an "approve" from the reviewer. Would be nice if someone else can take a look.
#13996 Define affine morphisms
#14138 A technical lemma to link formal smoothness to $\Omega_{S/R}$.
#14372 Complete orthogonal idempotents (It's been a week since @Kim Morrison said "feel free to ping me if there's no movement" so here's the ping)
#14377 Surjective on stalks ring homomorphisms (for immersions)

[Kim Morrison]

'd #14372

[Joël Riou]

#13996 is merged.

[Andrew Yang]

@Joël Riou Thanks! However there's a typo in your merge comment. Could you merge it again?

[Kim Morrison]

Done.

[Antoine Chambert-Loir]

I added a few (minor) comments about #14377.

[Andrew Yang]

Aside from #14138 in the list above, the following PRs has not seen any action for 2 weeks and it would be nice if someone can take a look
#14859 The naive cotangent complex I/I² → ⨁ᵢ S dxᵢ → Ω[S/R] → 0 given a presentation 0 → I → R[x₁,...,xₙ] → S → 0.
#15079 An easy PR fixing a wrong name
#14428 Spec preserves finite products
#14748 Define "preimmersions", a prerequisite of immersions.

[Johan Commelin]

All of them are merged/queued/commented now (not just be me).

[Andrew Yang]

Thanks a lot!