Can I get a maintainer to merge <https://github.co...
# announcements
a
Can I get a maintainer to merge https://github.com/flyteorg/flytecopilot/pull/33 which is necessary to fix
make lint
CI for
flytecopilot
. Maybe also merge https://github.com/flyteorg/flytecopilot/pull/28 which looks fine. Then I can rebase my PR on top of these. If you could enable my GitHub user to trigger CI workflows that would also be great, my GH user is https://github.com/convexquad. @Haytham Abuelfutuh @Ketan (kumare3)
👀 1
h
Which one is your PR? I can enable Workflows once you have your PR open
h
done
a
@Haytham Abuelfutuh let me get another workflow execution for https://github.com/flyteorg/flytecopilot/pull/37. It took me a while to figure out that I needed to
make update_boilerplate
to get the latest fixes to the CI tools.
h
a
Yes, thank you!!!
129 Views