https://flyte.org logo
a

Alex Bain

04/08/2022, 6:08 PM
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

Haytham Abuelfutuh

04/08/2022, 6:09 PM
Which one is your PR? I can enable Workflows once you have your PR open
h

Haytham Abuelfutuh

04/08/2022, 6:17 PM
done
a

Alex Bain

04/08/2022, 7:13 PM
@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

Haytham Abuelfutuh

04/08/2022, 7:22 PM
a

Alex Bain

04/08/2022, 7:23 PM
Yes, thank you!!!
3 Views