first time i hear about this, annual leaves should be only working days, not calendar days, but if your company is on calendar days then you need to make your holiday request form until before the eid, this way the eid will not count, what about sending an email to the HR manager? have a nice leave anyway :)