gitoria

3.9 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. // (lib/pulls.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 { slugOfHost } from '../lib/util.hl'
9. import { userOfSession } from '../lib/users.hl'
10. import { repoAt, ownsRepo } from '../lib/repos.hl'
11. import { pageTitle } from '../lib/repos-helpers.hl'
12. import { pullsNow, mergePullNow, withMerge, pullsView } from '../lib/pulls.hl'
13. import { withPullParts } from '../lib/tickets-helpers.hl'
14. import { notifyPush } from '../lib/tickets.hl'
16. host = null
17. session = null
18. slug = slugOfHost(host)
19. repo = repoAt(slug)
20. hasRepo = repo != null
21. isOwner = repo != null && ownsRepo(slug, session)
22. mergeError = ''
23. got = repo != null ? pullsNow(slug, repo.branch) : null
24. pullsShown = got != null && !got.isMessage
25. pullsMessage = got != null && got.isMessage
26. pullsText = got != null && got.isMessage ? got.message : ''
27. pullsNone = got != null && !got.isMessage && got.noPulls
28. pullsList = got != null && !got.isMessage ? withPullParts(withMerge(got.pulls, isOwner), repo.ticketsProject) : []
29. pullsDefault = got != null && !got.isMessage ? got.defaultName : ''
30. __title = pageTitle(siteName, slug, 'Pull requests')
32. View {
33. repoPage {
34. RepoHead { }
35. if (hasRepo) {
36. repoPulls { id = "pulls"
37. if (pullsMessage) { p { id = "pullsmessage" class = "empty" pullsText } }
38. if (pullsShown) {
39. 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)." }
40. if (pullsNone) { p { id = "nopulls" class = "empty" "No pull request yet." } }
41. p { id = "mergeerror" class = "message" mergeError }
42. ol { id = "pulllist"
43. for (pr of pullsList) {
44. li {
45. 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 } } } }
46. span { class = pr.state pr.state }
47. span { class = "branches"
48. if (pr.hasSource) { a { class = "source" href = pr.sourceHref pr.source } }
49. if (pr.noSource) { span { class = "source muted" "(branch gone)" } }
50. span { class = "muted" "→" }
51. if (pr.targetLinked) { a { class = "target" href = pr.targetHref pr.target } }
52. if (pr.targetMissing) { span { class = "target muted" pr.target " (no such branch)" } }
53. }
54. span { class = "muted" pr.author }
55. time { pr.date }
56. button { class = pr.mergeClass type = "button" value = pr.sha "Merge" on click(e) { emit mergePull(e.target.value) } }
57. }
58. }
59. }
60. }
61. }
62. }
63. }
64. }
66. // "Merge" (the owner, only when clicked): the face merges and answers with the list read again
67. on mergePull(sha) {
68. mergeError = ''
69. r = emit server gitoriaMergePull(slug, sha)
70. if (r == null || r.error != null) {
71. mergeError = r != null ? r.error : 'could not merge'
72. return null
73. }
74. got = r.result
75. pullsList = r.list
76. pullsNone = got.noPulls
77. }
79. on server gitoriaMergePull(slugOf, sha, session) {
80. if (session == null || repoAt(slugOf) == null) { return { error = 'could not merge' } }
81. u = userOfSession(session)
82. if (u == null || !ownsRepo(slugOf, session)) { return { error = 'only the owner can merge a pull request' } }
83. r = mergePullNow(slugOf, repoAt(slugOf).branch, sha, u.name)
84. if (r.error != null) { return { error = r.error } }
85. notifyPush(slugOf, false)
86. // the list again, with its ticket links made here: tickets-helpers.hl reads the environment, which the browser has not
87. return pullsView(slugOf, repoAt(slugOf).branch, true, repoAt(slugOf).ticketsProject)
88. }