Opened 7 years ago
Last modified 3 years ago
#827 assigned enhancement
Enable Pull requests from Gitea via Jenkins
Reported by: | strk | Owned by: | robe |
---|---|---|---|
Priority: | major | Milestone: | Management |
Component: | Buildbots | Version: | main |
Severity: | Unassigned | Keywords: | |
Cc: |
Description
See https://wiki.jenkins-ci.org/display/JENKINS/Gogs+Webhook+Plugin It should give us the ability for Jenkins to build pull requests sent in Gogs.
Change History (6)
comment:1 by , 7 years ago
Summary: | Enable Gogs plugin for Jenkins → Enable Pull requests from Gogs via Jenkins |
---|
comment:2 by , 6 years ago
comment:3 by , 6 years ago
Summary: | Enable Pull requests from Gogs via Jenkins → Enable Pull requests from Gitea via Jenkins |
---|
strk,
No it only does push requests. I had setup a webhook and told Vicky the webhook url to use to test her geos forked repo.
The pull request I can't do yet without your gitea patch in place (for diffs), which you said is coming in gitea 1.4.0 right? Once that's in I can test that.
But Vicky noted an issue with the push request piece anyway that I'm troubleshooting that it is sometimes crossing with the PostGIS webhook. Which is really odd cause they have different tokens. I'm guessing it has to do with some parallel thing in Jenkins or Gitea that if too pushes are done within a specific time frame, might be combining them.
comment:4 by , 6 years ago
Milestone: | GEOS Future → 3.7.0 |
---|
comment:5 by , 6 years ago
Milestone: | 3.7.0 → Management |
---|
comment:6 by , 3 years ago
Type: | defect → enhancement |
---|---|
Version: | 3.6.0 → main |
Regina, should this be closed as done (do jenkins bots build Gitea PRs now) ?