Learn more about these different git repos.
Other Git URLs
512cd47
Fixing block_retired.py for branched/f33 Fixes #9683 and #9707 Signed-off-by: Mohan Boddu <mboddu@bhujji.com>