which branch to use for pull requests?
rkanavath opened this issue · 2 comments
rkanavath commented
I am confused about which branch to use for PR in github?
on dev branch, there is still issue with geos, which as per the closed bug [1] is fixed already.
#79
I am trying to push a fix for #115 , #114. I see in dev branch, there are other changes which were merged long time ago was gone.. see for instance, #82
rkanavath commented
geos bug is fixed in ossimlabs/dev. Should I use the same branch for PRs now?
cdowin commented
You can do a PR into the DEV branch for any pending changes.