On Thu, 26 Jan 2023, Jakub Jelinek via Gcc-patches wrote: > committed to trunk.
Picking a random commit: Should we consistently start using "pushed" instead of "committed"? In CVS and SVN those two were the same. With GIT it's really a push (to trunk) we are interested in, not a commit to a local clone, isn't it? Gerald (who just updated his scripts this week :-)
