PR not showing up in repo

[rolypolytoy]

Hi @openpowerwtf.

The PR is showing up as merged, but when you click on its hash it says 'This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository' and isn't showing up in the repository. E.g. synth.yo is still called synth.yo, and in tri.vh the file is still:

`ifndef _tri_vh_
`define _tri_vh_

// separate clk, rst now
//`define  NCLK_WIDTH  6   // 0  1xClk, 1  Reset, 2  2xClk, 3  4xClk,  4  Even .5xClk,  5 Odd .5x Clk
`define  EXPAND_TYPE  1

// Do NOT add any defines below this line
`endif  //_tri_vh_

The define NCLK_WIDTH 6 is still commented out. Any thoughts on why the merge isn't showing up in main?

I've made a new PR (with more synthesis-related files in pd/synth, and the same changes made earlier), if you need another fork to merge.

Thanks