https://pantsbuild.org/ logo
#development
Title
# development
w

witty-family-13337

09/08/2022, 4:14 PM
Hi 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 PM
go ahead!
…but you might want to rebase it first just to make sure nothing bitrotted
w

witty-family-13337

09/08/2022, 5:11 PM
will do
thanks
actually, it's a branch from a contributor so I can't rebase it
I'll politely ask the contributor to make a rebase
w

witty-crayon-22786

09/08/2022, 5:27 PM
you should be able to as a maintainer… but i can do it if not
fwiw: 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-support
w

witty-family-13337

09/08/2022, 5:43 PM
oh thanks, and sorry for handing this over, was forgetting about the push force
w

witty-crayon-22786

09/08/2022, 5:45 PM
no worries. thanks for the reminder