6429c76 frontend: don't use dist_git_instance.id

Authored and Committed by praiskup 4 years ago
    frontend: don't use dist_git_instance.id
    
    This is leftover after the change in PR from string to numeric id.
    
    Relates: #1238