diff --git a/teps/0080-support-domainscoped-parameterresult-names.md b/teps/0080-support-domainscoped-parameterresult-names.md
index 5148cddb7..12f3cd74c 100644
--- a/teps/0080-support-domainscoped-parameterresult-names.md
+++ b/teps/0080-support-domainscoped-parameterresult-names.md
@@ -1,5 +1,5 @@
 ---
-status: proposed
+status: implemented
 title: Support domain-scoped parameter/result names
 creation-date: '2021-08-19'
 last-updated: '2021-08-19'
@@ -158,7 +158,7 @@ I can't think of any problems, since this isn't supported today.
 
 ## Implementation Pull request(s)
 
-Not there yet!
+* https://github.com/tektoncd/pipeline/pull/4215
 
 ## References (optional)
 
diff --git a/teps/README.md b/teps/README.md
index 440e4effb..e4ed6421c 100644
--- a/teps/README.md
+++ b/teps/README.md
@@ -221,4 +221,4 @@ This is the complete list of Tekton teps:
 |[TEP-0071](0071-custom-task-sdk.md) | Custom Task SDK | proposed | 2021-06-15 |
 |[TEP-0072](0072-results-json-serialized-records.md) | Results: JSON Serialized Records | implementable | 2021-07-26 |
 |[TEP-0073](0073-simplify-metrics.md) | Simplify metrics | proposed | 2021-06-23 |
-|[TEP-0080](0080-support-domainscoped-parameterresult-names.md) | Support domain-scoped parameter/result names | proposed | 2021-08-19 |
+|[TEP-0080](0080-support-domainscoped-parameterresult-names.md) | Support domain-scoped parameter/result names | implemented | 2021-08-19 |