Merge branch 'master' into rdma_mpi

Author: sbryngelson

.pr_agent.toml

@@ -0,0 +1,11 @@
+# .pr_agent.toml
+[github_app]
+# Run these tools automatically on every new PR:
+pr_commands = ["/describe", "/review"]
+
+[pr_reviewer]                # (all fields optional)
+num_max_findings        = 5  # how many items to surface
+require_tests_review     = true
+extra_instructions = """
+Focus on duplicate code, the possibility of bugs, and if the PR added appropriate tests if it added a simulation feature.
+"""