I just added this article to complete the off-season outline.
These are the Astros that became Minor League Free Agents per Baseball America
RHP Jose Bravo
LHP Yeremi Ceballos
SS Alex De Goti
SS Edwin Diaz
RHP Chad Donato
RHP Freylin Garcia
RHP Nick Hernandez
RHP Colin McKee
RHP Christian Mejias
RHP Jon Olczak
RHP Nolan Riggs
RHP Andre Scrubb
Here is how a player becomes a minor league free agent.
MLB RULE 55: An unsigned minor league player is automatically declared a free-agent at 5 PM (Eastern) on the 5th day after the final game of the World Series (the deadline is October 15th if the World Series is canceled) if the player has spent all or any part of at least seven separate seasons on a minor league roster (including all or parts of any season spent on Optional Assignment to the minors and/or on a minor league Injured List) and/or if the player has been previously released or non-tendered in his career and his present contract (known as a "second contract" even if it's his third or fourth minor league contract) has expired.
Some of these may choose to resign a Minor League Free Agent contract with the Astros in 2023.