1/2 yellow onion (diced (about 1/2 an onion))

Instant Pot Lentil Sloppy Joes