mirror of
https://gitlab.gnome.org/GNOME/gitg
synced 2024-10-05 23:50:07 +00:00
Add clearing repository refs cache
This commit is contained in:
parent
0e2a96ac2f
commit
456da855b2
|
@ -64,6 +64,11 @@ public class Repository : Ggit.Repository
|
|||
}
|
||||
}
|
||||
|
||||
public void clear_refs_cache()
|
||||
{
|
||||
d_refs = null;
|
||||
}
|
||||
|
||||
private void ensure_refs()
|
||||
{
|
||||
if (d_refs != null)
|
||||
|
|
Loading…
Reference in a new issue