pop up delay

[ggrrll]

Hi,

thanks for the extension!
it would be nice to be able to set the delay of the popus (for commit / push / pull , etc...) , which seem to hang there indefinitely

(or is there already ? )

thanks

[welcome]

Thank you for opening your first issue in this project! Engagement like this is essential for open source projects! 🤗

If you haven't done so already, check out Jupyter's Code of Conduct. Also, please try to follow the issue template as it helps other other community members to contribute more effectively.

You can meet the other Jovyans by joining our Discourse forum. There is also an intro thread there where you can stop by and say Hi! 👋

Welcome to the Jupyter community! 🎉

[krassowski]

The underlying popups do support auto hiding after a delay, but I think an option to configure it is not exposed. I think PR would be welcome.