You should have noted the conversation with your manager in the ticket at the time the conversation took place, with an @mention so she would get notified. Tha

You should have noted the conversation with your manager in the ticket at the time the conversation took place, with an @mention so she would get notified. That said, depending on how technical your boss is, she may not be the appropriate person to ask about language choice. If she is the CTO, obviously yes, but if you report to a Director of Product maybe not. And it is always a good idea to check with your team before picking a new language.