...
Now it's time to get the new release to the correct place under $EPICS_EXTENSIONSafs. Go ahead and make the new directory with the same name as the new release under $EPICS_EXTENSIONSTOP/extensions, and place the extensions repository there ensuring you check out the correct tag you just created:
...