The Postgres git repo doesn't make it easy to discover the employer of the commit authors, but yes, they do send patches to Postgres, here is a search of commits referencing mailing list discussions started by Amazon, plus a couple of examples of where they sent patches: