TropicalPenguin commented on issue #369: URL: https://github.com/apache/age/issues/369#issuecomment-1341548423
No offense taken on my part. As far as I know there's no requirement that a PR be merged in order for me to fulfill the obligation I create for myself when I pledge to a bounty. It may, however, require closing - at least temporarily - an issue before the corresponding PR is merged. There's no particular urgency for me to use code from the main branch, however convenient I imagine it being there to the community at large. -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
