-
-
Notifications
You must be signed in to change notification settings - Fork 3.6k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Autobuild Docs for Pull Requests #5684
Comments
I think we should move to Github Apps. @saadmk11 Can you evaluate Github Apps to know if we can move to Github Apps? |
The important part is, how do we serve the documentation. Should be it in the same domain or it should be served from different domain/subdomain. Moreover, are we going to support only Github or we should also evaluate if we can support Github/Gitlab both. |
@safwanrahman I was thinking we could serve the PR builds using
We can get started with Github and then extend to Gitlab if we can support it. |
I read briefly about Github apps from the official Documentations. Github App has many differences from the OAuth implementation that we are currently using. we would need a good amount of refactoring to implement this and it is not as flexible as our current implementation.
Which we do not want. It needs permissions to a users repository manually. |
We've decided to not block this work on migration to GitHub apps. We already have migrating to GH apps on our roadmap in a few months though, so we'll deal with the change then. |
This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions. |
@saadmk11 what's the status of this issue? I think it's OK to close it, but not as stale because everything is implemented, right? |
Yes, we can close this issue as everything discussed here has been implemented. |
@safwanrahman @agjohnson I saw you mentioning migration to GitHub Apps earlier. This is a topic I'm interested in a lot so if there's any help with reviews of relevant PRs needed, feel free to ping me for help. P.S. I'm developing a small framework for making GitHub Apps (something similar to Probot which is in JS) in Python. You can try out how it feels by following this tutorial: https://tutorial.octomachinery.dev/ (beware of bugs! there's some inconsistency that I haven't yet fixed in the tutorial itself). |
@webknjaz thanks, I have linked your comment in our internal ticket where we are tracking the migration |
Initial Discussion about the PR Builder
This project involves automatically building docs for Pull Requests in GitHub repositories.
This Issue will work as the initial discussion for completing this project.
We can extend this to other issues when required while working on this part by part.
Initial Proposal
Pull requests
event from Github webhooks. So, I think there is no need to do any changes to that.git fetch origin +refs/pull/<pr_number>/merge:
versions
for pull requests. we can separate the PR versions by adding a Boolean field toVersion
Model or adding a type toVERSION_TYPES
.pull_request
, Action:opened
)pull_request
, Action:synchronize
)pull_request
, Action:closed
, Merged:True/False
)In this Issue we might want to discuss about:
I would like to know Everyone's Initial Thoughts about it and carry the discussion forward :)
The text was updated successfully, but these errors were encountered: