using an existing package as a template for a new one

Stream: lean4

[Matthew Ballard]

Is there anything akin to the functionality lake new foo bar where bar is an existing package?

I would expect this to create a new package named foo but copying the configuration of bar.

[Matthew Ballard]

I am trying to figure the optimal workflow for repeatedly creating homework assignments which consist of

• a Lean package
• a Latex file
• and custom workflow

Cloning a git template makes lake ask for my github username...