Brussels Sprouts 'n Gnocchi

Ingredients (10)

• + 1 tablespoon olive oil, or more to taste add to pantry
• ✓ 1 pound fresh Brussels sprouts, thinly sliced
• + ¼ small onion, finely chopped add to pantry
• + 1 clove garlic, minced add to pantry
• + 1 pinch salt and ground black pepper to taste add to pantry
• + 1 pinch salt and ground black pepper to taste add to pantry
• + ¼ cup water, or more as needed add to pantry
• + 1 (16 ounce) package frozen gnocchi add to pantry
• + 1 squeeze lemon juice add to pantry
• + 1 pinch red pepper flakes add to pantry