Add initial types to repo/fun.py#1192

Merged

Byron merged 1 commit intogitpython-developers:masterfrom

Yobmod:main

Mar 12, 2021

Commits on Mar 4, 2021

Combined commits to add types to base.py and fun.py
Yobmod
committed