Petar Maymounkov

Results 44 comments of Petar Maymounkov

Sounds good :) Let me know if you run into other issues or questions, especially if it is unclear how to use it or do something.

Hi @AshBC. Thank you for your note and insight. Gov4git can be made into a GitHub Marketplace App, thereby not requiring a standalone desktop app to use it. However, at...

Thanks @AshBC. Sounds good. I am glad you are trialing it. I am going to look into describing the GitHub App integration and think about how we could accomplish it....

Note that it is possible to circumvent the mysterious `object not found` error by re-opening `d1` before the final push operation. This however is not the right solution to this...