add subdir to PR body (#471)

Author: ericphanson

src/commentbot/CommentBot.jl

@@ -89,6 +89,7 @@ function make_pull_request(pp::ProcessedParams, rp::RequestParams, rbrn::RegBran
         version=ver,
         commit=pp.sha,
         release_notes=rp.release_notes,
+        subdir=subdir,
         reviewer="$(mention(reviewer))",
         reference=ref,
         meta=enc_meta,

src/pull_request.jl

@@ -9,6 +9,7 @@ function pull_request_contents(;
     version::VersionNumber,
     commit::AbstractString,
     release_notes::AbstractString,
+    subdir::AbstractString="",
     gitref::AbstractString="",
     reviewer::AbstractString="",
     reference::AbstractString="",
@@ -30,6 +31,8 @@ function pull_request_contents(;
         "- Commit: $commit",
     ]
 
+    isempty(subdir) || insert!(lines, 3, "- Subdirectory: $subdir")
+
     isempty(gitref) || push!(lines, "- Git reference: $gitref")
     isempty(reviewer) || push!(lines, "- Reviewed by: $reviewer")
     isempty(reference) || push!(lines, "- Reference: $reference")

src/webui/WebUI.jl

@@ -208,6 +208,7 @@ function action(regdata::RegistrationData, zsock::RequestSocket)
             version=regdata.project.version,
             commit=regdata.commit,
             release_notes=regdata.notes,
+            subdir=regdata.subdir,
             description=description,
         )