Hi -- Directing this to Claude -- I know you looked at this a few months ago.
I have a couple commits pending for Velocity. Can I make them on the Github repo (master branch)? I want to do a PR, then merge it. My concern is that I see you merged this PR in May https://github.com/apache/velocity-engine/pull/15 and it doesn't look like it migrated back to SVN. Any thoughts? I presume SVN is still our main site for doing builds and releases? Thanks, WILL