On 1/19/2019 16:24, timcowchip wrote:
 My repo at https://crux.nu/portdb/?a=repo&q=timcow doesn't match my
 github repo https://github.com/timcowchip/timcowchip.
 I know there are workarounds for this issue, but I'm told that one of
 them (changing my portdb repo name to timcowchip) is an easy one.
 Could this please be done? I originally submitted my repo with the
 timcowchip, but it got truncated by whoever was maintaining the portdb
 at the time.

Hey,

Updated on both portdbs to 'timcowchip'. Will change next time they 
sync. Is the key still good or do you have new one?

Regards,
Matt


CRUX mailing list
CRUX@lists.crux.nu
https://lists.crux.nu/mailman/listinfo/crux