package missing on github mirror

Elan Ruusamäe glen at
Mon May 18 11:34:54 CEST 2020

On 5/18/20 12:01 PM, Jan Palus wrote:
> Thanks. Not a big deal but description is missing -- other packages use Summary:
> for this purpose.


idea was to emulate package being created, but it was not that easy. had 
to hack to skip checking master branch and remove 
existing description file.

i guess in the future, could utilize git push options:


or add new gitolite git ssh command like we have 'copy', 'move', ..., 

1. root at 1822-cvs packages/dxr2-driver.git# mv description description.old

2. glen at carme$

➔ echo '##' >> *.spec

➔ g commit -am 'force desc update'
➔ g co -b mirror3 && g push -u

More information about the pld-devel-en mailing list