gitoria

3.8 KB

1. // components/pulls.hl — THE PULL REQUESTS of a repo (gitoria#11, gitoria#16): `/pulls` on <slug>.<domain>, its
2. // own route. The repo head is rendered on the server from the request's host. The list comes from git (the
3. // commits whose message starts with |||PR) on the SERVER too
4. // (git.hl pullsNow — hl:proc run() waits, hybriel#80): it is in the first HTML and in every hl:web navigation.
5. parent './main.hl'
6. import { siteName } from '../project.hl'
7. import RepoHead from './repohead.hl'
8. import { repoAt, pageTitle, ownsRepo } from '../repos.hl'
9. import { pullsNow, mergePullNow, withMerge } from '../git.hl'
10. import { withPullParts, notifyPush } from '../tickets.hl'
11. import { slugOfHost, userOfSession } from '../users.hl'
13. host = null
14. session = null
15. slug = slugOfHost(host)
16. repo = repoAt(slug)
17. hasRepo = repo != null
18. isOwner = repo != null && ownsRepo(slug, session)
19. mergeError = ''
20. got = repo != null ? pullsNow(slug, repo.branch) : null
21. pullsShown = got != null && !got.isMessage
22. pullsMessage = got != null && got.isMessage
23. pullsText = got != null && got.isMessage ? got.message : ''
24. pullsNone = got != null && !got.isMessage && got.noPulls
25. pullsList = got != null && !got.isMessage ? withPullParts(withMerge(got.pulls, isOwner), repo.ticketsProject) : []
26. pullsDefault = got != null && !got.isMessage ? got.defaultName : ''
27. __title = pageTitle(siteName, slug, 'Pull requests')
29. View {
30. repoPage {
31. RepoHead { }
32. if (hasRepo) {
33. repoPulls { id = "pulls"
34. if (pullsMessage) { p { id = "pullsmessage" class = "empty" pullsText } }
35. if (pullsShown) {
36. p { id = "pullshelp" class = "muted" "A commit whose message starts with " code { "|||PR " } " opens a pull request; " code { "|||PR|branch] " } " sets the target (now: " strong { pullsDefault } " by default)." }
37. if (pullsNone) { p { id = "nopulls" class = "empty" "No pull request yet." } }
38. p { id = "mergeerror" class = "message" mergeError }
39. ol { id = "pulllist"
40. for (pr of pullsList) {
41. li {
42. span { class = "subject" for (pt of pr.parts) { if (pt.isText) { a { href = pr.href pt.text } } if (pt.isLink) { a { class = "ticketref" href = pt.href pt.text } } } }
43. span { class = pr.state pr.state }
44. span { class = "branches"
45. if (pr.hasSource) { a { class = "source" href = pr.sourceHref pr.source } }
46. if (pr.noSource) { span { class = "source muted" "(branch gone)" } }
47. span { class = "muted" "→" }
48. if (pr.targetLinked) { a { class = "target" href = pr.targetHref pr.target } }
49. if (pr.targetMissing) { span { class = "target muted" pr.target " (no such branch)" } }
50. }
51. span { class = "muted" pr.author }
52. time { pr.date }
53. button { class = pr.mergeClass type = "button" value = pr.sha "Merge" on click(e) { emit mergePull(e.target.value) } }
54. }
55. }
56. }
57. }
58. }
59. }
60. }
61. }
63. // "Merge" (the owner, only when clicked): the face merges and answers with the list read again
64. on mergePull(sha) {
65. mergeError = ''
66. let r = emit server gitoriaMergePull(slug, sha)
67. if (r == null || r.error != null) {
68. mergeError = r != null ? r.error : 'could not merge'
69. return null
70. }
71. got = r.result
72. pullsList = r.list
73. pullsNone = got.noPulls
74. }
76. on server gitoriaMergePull(slugOf, sha, session) {
77. if (session == null || repoAt(slugOf) == null) { return { error = 'could not merge' } }
78. let u = userOfSession(session)
79. if (u == null || !ownsRepo(slugOf, session)) { return { error = 'only the owner can merge a pull request' } }
80. let r = mergePullNow(slugOf, repoAt(slugOf).branch, sha, u.name)
81. if (r.error != null) { return { error = r.error } }
82. notifyPush(slugOf, false)
83. let now = pullsNow(slugOf, repoAt(slugOf).branch)
84. // the pieces with their ticket links are made here: tickets.hl reads the environment, which the browser has not
85. return { result = now list = withPullParts(withMerge(now.pulls, true), repoAt(slugOf).ticketsProject) }
86. }