Select Git revision
master
wavewave/ghc_p_dyn
wavewave/ghc_p_dyn_20240213
wavewave/ghc_p_dyn_merge_master
wavewave/ghc_p_dyn_rebase
wavewave/ghc_p_dyn_rebase2