diff --git a/gcc/REVISION b/gcc/REVISION
new file mode 100644
index 00000000000..625d9a83e7b
--- /dev/null
+++ b/gcc/REVISION
@@ -0,0 +1 @@
+work005-orig branch, 6/23/2020, id: abcde0a658e17dbbabcb396eaae5a3612e07d401