Hi all, a few weeks ago I approved this PR that ad...
# developmentw
witty-family-13337
09/08/2022, 4:14 PMHi all, a few weeks ago I approved this PR that adds support for OpenAPI, wondering if anyone has any objections on merging it so it gets shipped in 2.15:
https://github.com/pantsbuild/pants/pull/16199
w
witty-crayon-22786
09/08/2022, 4:57 PMgo ahead!
witty-crayon-22786
09/08/2022, 4:57 PM…but you might want to rebase it first just to make sure nothing bitrotted
w
witty-family-13337
09/08/2022, 5:11 PMwill do
witty-family-13337
09/08/2022, 5:11 PMthanks
witty-family-13337
09/08/2022, 5:26 PMactually, it's a branch from a contributor so I can't rebase it
witty-family-13337
09/08/2022, 5:26 PMI'll politely ask the contributor to make a rebase
w
witty-crayon-22786
09/08/2022, 5:27 PMyou should be able to as a maintainer… but i can do it if not
witty-crayon-22786
09/08/2022, 5:41 PMfwiw: my workflow for pushing to someone else’s branch looks roughly like:
Copy code
git fetch jyggen openapi-support
git checkout -b jyggen/openapi-support jyggen/openapi-support
# ...rebase
git push -f jyggen jyggen/openapi-support:openapi-supportw
witty-family-13337
09/08/2022, 5:43 PMoh thanks, and sorry for handing this over, was forgetting about the push force
w
witty-crayon-22786
09/08/2022, 5:45 PMno worries. thanks for the reminder